1226 search results - page 135 / 246 » Proofs, Programs and Abstract Complexity |
149
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
164
Voted
POPL
2010
ACM
16 years 25 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
163
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
131
Voted
IJCAI
2003
15 years 4 months ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
123
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
AbstractMost of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...