- Snitch: A Tiny Pseudo Dual-Issue Processor for Area and Energy Efficient Execution of Floating-Point Intensive Workloads
2020/10/07 by Florian Zaruba, Fabian Schuiki, Torsten Hoefler +1 · 20 citations
Computer Science · #Advanced Data Storage Technologies #Computer architecture #Computer science #Control flow #Distributed computing #Efficient energy use #Embedded system #Flexibility (engineering) #Floating point #Instruction set #Numerical Methods and Algorithms #Operating system #Overhead (engineering) #Parallel Computing and Optimization Techniques #Parallel computing #Pipeline (software) #Programming language #Register file
- Don't Unroll Adjoint: Differentiating SSA-Form Programs
2018/10/18 by Michael Innes, Innes, Michael · 4 voices · 25 citations
Computer Science · #Algorithms and Data Compression #Automatic differentiation #Code (set theory) #Compiler #Computation #Computer science #Control flow #Embedded Systems Design Techniques #Nesting (process) #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Recursion (computer science) #Semantics (computer science) #Theoretical computer science #Transformation (genetics) #cs.PL
- oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
2018/07/16 by Guanhua Wang, Wang, Guanhua, Sudipta Chattopadhyay +7 · 1 voice · 3 citations
Computer Science · Engineering · #Branch predictor #Cache #Code (set theory) #Compiler #Computer science #Computer security #Control flow #Cryptography #Key (lock) #Operating system #Overhead (engineering) #Parallel Computing and Optimization Techniques #Programming language #Radiation Effects in Electronics #Security and Verification in Computing #Side channel attack #Software #Speculative execution #Static analysis #Taint checking #Vulnerability (computing)
- Register allocation for Intel processor graphics
2018/02/24 by Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar +2 · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Advanced Data Storage Technologies #Embedded Systems Design Techniques #Computer science #Register allocation #Allocator #Processor register #Parallel computing #Control flow #Compiler #Register file #Overhead (engineering) #Graphics #SIMD #Instruction set #Byte #Operating system #Programming language #Memory address
- Control-flow discovery from event streams
2012/12/27 by Andrea Burattin, Alessandro Sperduti, Wil M. P. van der Aalst · 1 citation
Business, Management and Accounting · Computer Science · #Advanced Database Systems and Queries #Business Process Modeling and Analysis #Computer network #Computer science #Control flow #Data Stream Mining Techniques #Event (particle physics) #Flow control (data) #Operating system #Physics #Programming language #STREAMS #cs.DB
- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept
2010/01/01 by Lars Michael Kristensen, Michael Westergaard · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Code (set theory) #Code generation #Computer science #Control flow #Data flow diagram #Database #Distributed computing #Erlang (programming language) #Functional programming #Operating system #Petri Nets in System Modeling #Petri net #Programming language #Service-Oriented Architecture and Web Services