1312 search results - page 139 / 263 » Embedded contract languages |
127
Voted
IJPP
2011
14 years 10 months ago
2011
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
147
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
143
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
152
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
161
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...