3146 search results - page 451 / 630 » The use of compiler optimizations for embedded systems softw... |
156
click to vote
HCW
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new software technology for on-line performance analysis and visualization of complex parallel and distributed systems. Often heterogeneous, these systems need capabi...
189
click to vote
IWCC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper will discuss high performance clustering from a series of critical topics: architectural design, system software infrastructure, and programming environment. This will ...
189
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
250
click to vote
DLS
2009
15 years 4 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
172
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Galois field implementations are central to the design of many reliable and secure systems, with many systems implementing them in software. The two most common Galois field opera...