750 search results - page 143 / 150 » Making a Difference in the Software Century |
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
Modern computer work stations provide thousands of applications that store data in >100.000 files on the file system of the underlying OS. To handle these files data process...
LCPC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
83
Voted
DEBS
2003
ACM
15 years 2 months ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...
110
click to vote
TLDI
2003
ACM
15 years 2 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...