148 search results - page 17 / 30 » Automated Systematic Testing of Open Distributed Programs |
115
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
212
click to vote
LPAR
2010
Springer
15 years 4 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
121
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
124
click to vote
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
105
click to vote
ISHPC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...