2520 search results - page 344 / 504 » Model-checking behavioral programs |
101
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
98
Voted
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. For many applications, cache misses are the primary performance bottleneck. Even though much research has been performed on automatically optimizing cache behavior at the...
137
click to vote
ISPW
2010
IEEE
15 years 7 months ago
2010
IEEE
Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improve...
148
click to vote
ICSM
2002
IEEE
15 years 7 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...