6054 search results - page 936 / 1211 » Implementation of Andorra-based Languages |
180
click to vote
CODES
2007
IEEE
16 years 29 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...
188
click to vote
KBSE
2007
IEEE
16 years 27 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...
158
click to vote
IWMM
2007
Springer
16 years 23 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 ...
157
click to vote
ECBS
2006
IEEE
16 years 20 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...
178
click to vote
ASPLOS
2006
ACM
16 years 18 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...