204 search results - page 38 / 41 » Continuations and Concurrency |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
CD
2004
Springer
14 years 3 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
BIRTHDAY
2010
Springer
14 years 2 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
CIKM
2001
Springer
14 years 2 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...