568 search results - page 64 / 114 » The Great Language Debate |
234
click to vote
ECOOP
2009
Springer
16 years 4 months 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...
231
click to vote
POPL
2005
ACM
16 years 4 months 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...
170
click to vote
SOSP
2009
ACM
16 years 28 days 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...
148
click to vote
CIMCA
2008
IEEE
15 years 10 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 ...
112
click to vote
CP
2007
Springer
15 years 10 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...