218 search results - page 29 / 44 » Generating Compiler Optimizations from Proofs |
113
Voted
SCOPES
2005
Springer
15 years 8 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
134
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
147
click to vote
EGH
2010
Springer
15 years 15 days ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
115
Voted
MICRO
2010
IEEE
15 years 11 days ago
2010
IEEE
Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions in multimedia, scien...
129
click to vote
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...