275 search results - page 48 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
111
click to vote
POPL
2011
ACM
14 years 11 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
93
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
LCPC
2009
Springer
15 years 2 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
172
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
111
click to vote
ICFP
2012
ACM
12 years 12 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...