Sciweavers

50 search results - page 5 / 10
» Dynamic Search-Space Pruning Techniques in Path Sensitizatio...
Sort
View
POPL
2005
ACM
14 years 3 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid
ICCAD
2004
IEEE
87views Hardware» more  ICCAD 2004»
14 years 15 days ago
Exploiting level sensitive latches in wire pipelining
Wire pipelining emerges as a new necessity for global wires due to increasing wire delay, shrinking clock period and growing chip size. Existing approaches on wire pipelining are ...
V. Seth, Min Zhao, Jiang Hu
TKDE
1998
111views more  TKDE 1998»
13 years 3 months ago
Efficient Data Mining for Path Traversal Patterns
—In this paper, we explore a new data mining capability that involves mining path traversal patterns in a distributed information-providing environment where documents or objects...
Ming-Syan Chen, Jong Soo Park, Philip S. Yu
VR
2011
IEEE
224views Virtual Reality» more  VR 2011»
12 years 7 months ago
Velocity-dependent dynamic curvature gain for redirected walking
—Redirected walking (RDW) techniques allow people to walk in a larger virtual space than the physical extents of the laboratory. We describe two experiments conducted to investig...
Christian T. Neth, Jan L. Souman, David Engel, Uwe...
IWIA
2005
IEEE
13 years 9 months ago
Forensic Analysis of File System Intrusions Using Improved Backtracking
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
Sriranjani Sitaraman, Subbarayan Venkatesan