1753 search results - page 190 / 351 » State Machines |
198
click to vote
USENIX
2001
15 years 8 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
191
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
217
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Partitioned query processing is an effective method to process continuous queries with large stateful operators in a distributed systems. This method typically partitions input da...
202
click to vote
SISW
2005
IEEE
16 years 17 days ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...
211
Voted
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...