913 search results - page 145 / 183 » Full Abstraction for Linda |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
EUROSYS
2009
ACM
14 years 7 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conď¬...
ALT
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Learning from streams is a process in which a group of learners separately obtain information about the target to be learned, but they can communicate with each other in ...
ICCAD
2001
IEEE
14 years 7 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...