219 search results - page 17 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
69
Voted
CCE
2008
14 years 9 months ago
2008
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we extensively tune and then compare the performance of web servers based on three different server architectures. The µserver utilizes an event-driven architectur...
ADAEUROPE
2008
Springer
14 years 11 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
80
Voted
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
190
click to vote
SPIN
2012
Springer
13 years 2 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...