6054 search results - page 936 / 1211 » Implementation of Andorra-based Languages |
174
Voted
CODES
2007
IEEE
16 years 15 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
172
click to vote
KBSE
2007
IEEE
16 years 13 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
144
Voted
IWMM
2007
Springer
16 years 8 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
151
click to vote
ECBS
2006
IEEE
16 years 6 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
170
click to vote
ASPLOS
2006
ACM
16 years 3 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...