1516 search results - page 279 / 304 » Generalizing Indexical-Functional Reference |
ESOP
2000
Springer
14 years 3 days ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
ICSE
2000
IEEE-ACM
14 years 3 days ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
ICSE
2000
IEEE-ACM
14 years 3 days ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...
INFOCOM
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper assesses the predictability of network traffic by considering two metrics: (1) how far into the future a traffic rate process can be predicted with bounded error; (2) w...
ISHPC
2000
Springer
14 years 2 days ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...