2250 search results - page 313 / 450 » Interactive Explanation of Software Systems |
152
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
153
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
139
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
148
click to vote
MA
1999
Springer
15 years 8 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
237
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...