3400 search results - page 125 / 680 » tools 2008 |
ATVA
2008
Springer
14 years 2 days ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
FAC
2008
13 years 10 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
SEMCO
2008
IEEE
14 years 4 months ago
2008
IEEE
Only recently, researchers and practitioners alike have begun to fully understand the potential of eLearning and have concentrated on new tools and technologies for creating, captu...