1901 search results - page 278 / 381 » Predicting Program Properties from |
SIGSOFT
2007
ACM
15 years 12 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
113
click to vote
IWVF
2001
Springer
15 years 3 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
135
click to vote
RTAS
1996
IEEE
15 years 3 months ago
1996
IEEE
Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching, which is necessa...
HPCA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper identifies node affinity as an important property for scalable general-purpose locks. Nonuniform communication architectures (NUCAs), for example CCNUMAs built from a f...
156
Voted
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...