137 search results - page 14 / 28 » Distributed Cooperative Formal Methods Tools |
100
click to vote
IPPS
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract--In this article we present KRASH, a tool for reproducible generation of system-level CPU load. This tool is intended for use in shared memory machines equipped with multi...
139
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...
109
Voted
ISOLA
2010
Springer
15 years 27 days ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
141
Voted
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
138
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...