568 search results - page 64 / 114 » The Great Language Debate |
182
click to vote
ECOOP
2009
Springer
16 years 15 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
182
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
136
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
104
click to vote
CIMCA
2008
IEEE
15 years 6 months ago
2008
IEEE
The process of evaluating, classifying, and assigning bugs to programmers is a difficult and time consuming task which greatly depends on the quality of the bug report itself. It ...
CP
2007
Springer
15 years 6 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...