Search
 
   

24 results for "domain:eecs.berkeley.edu"

  1. 2
    High-Coverage Hint Generation for Massive Courses ☶ pdf video compsci formalmethods lisp programming people.eecs.berkeley.edu
    aminb avatar via aminb 1 month ago | cached | 1 comment
  2. 7
    Scaling up Superoptimization (2016) ☶ pdf compilers performance people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  3. 6
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) ☶ pdf compilers compsci performance programming eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 6 comments
  4. 1
    A Design and Verification Methodology for Secure Isolated Regions (2016) ☶ pdf formalmethods programming security people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 5
    Setuid Demystified (2002) ☶ pdf formalmethods security unix people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 6
    TreeRegex: An Extension to Regular Expressions for Matching and Manipulating Tree-Structured Text ☶ pdf javascript eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 3 comments
  7. 4
    An Interview with the Old Man of Floating-Point [1998] historical programming people.eecs.berkeley.edu
    gerikson avatar via gerikson 7 months ago | cached | no comments
  8. 2
    Synthesis of Statically-Analyzable, Accelerator Networks from Sequential Programs (2016) pdf compsci hardware performance programming people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  9. 5
    Markov's Inequality for Matrices math people.eecs.berkeley.edu
    pushcx avatar via pushcx 9 months ago | cached | no comments
  10. 2
    BOOM v2: an open-source out-of-order RISC-V core hardware eecs.berkeley.edu
    Forty-Bot avatar via Forty-Bot 11 months ago | cached | no comments
  11. 3
    Numbers Every Programmer Should Know By Year programming visualization people.eecs.berkeley.edu
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  12. 2
    Towards High-Assurance HTML5 Applications (2014) pdf programming security web eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  13. 15
    Programming Languages for High-Assurance Autonomous Vehicles (Ivory) ☶ pdf slides compilers security chess.eecs.berkeley.edu
    asthasr avatar via asthasr 1 year ago | cached | 7 comments
  14. 1
    Stuart Russell's Q & A: The future of artificial intelligence cogsci compsci philosophy people.eecs.berkeley.edu
    tf avatar via tf 1 year ago | cached | no comments
  15. 12
    Design of the RISC-V Instruction Set Architecture pdf assembly hardware eecs.berkeley.edu
    gandro avatar via gandro 2 years ago | cached | 2 comments
  16. 15
    Numbers Every Programmer Should Know By Year compsci practices programming eecs.berkeley.edu
    friendlysock avatar via friendlysock 2 years ago | cached | 2 comments
  17. 2
    Selective Embedded Just-In-Time Specialization assembly compilers compsci sejits.eecs.berkeley.edu
    animatronic avatar via animatronic 3 years ago | cached | no comments
  18. 1
    Making Sense of Performance in Data Analytics Frameworks pdf compsci distributed eecs.berkeley.edu
    haxor avatar via haxor 3 years ago | cached | no comments
  19. 2
    A Pattern Language for Parallel Programming distributed parlab.eecs.berkeley.edu
    vjoel avatar via vjoel 4 years ago | cached | no comments
  20. 6
    Discretized Streams: A Fault-Tolerant Model for Scalable Stream Processing pdf distributed eecs.berkeley.edu
    fatumka avatar via fatumka 4 years ago | cached | no comments
Page: 1 2