1809 search results - page 347 / 362 » Software Model Checking Using Linear Constraints |
156
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
148
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
149
click to vote
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
123
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
151
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...