2881 search results - page 516 / 577 » Model Checking for Programming Languages using Verisoft |
107
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
ENTCS
2006
15 years 2 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
137
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
CF
2004
ACM
15 years 7 months ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...
183
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...