2661 search results - page 124 / 533 » Model Checking Performability Properties |
115
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
117
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
138
Voted
POPL
2010
ACM
16 years 12 hour ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
120
Voted
CGO
2008
IEEE
15 years 9 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...
140
Voted
SENSYS
2003
ACM
15 years 7 months ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...