9626 search results - page 1855 / 1926 » Invariant Based Programming |
100
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
135
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
118
click to vote
IWVF
2001
Springer
15 years 4 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...
MIDDLEWARE
2001
Springer
15 years 4 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...