4438 search results - page 573 / 888 » The Case for Collaborative Programming |
269
click to vote
ECOOP
2009
Springer
16 years 7 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...
282
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Fac?ade patterns to create large-granulari...
295
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
299
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
205
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...