166 search results - page 17 / 34 » Effective static deadlock detection |
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
MOBIHOC
2010
ACM
13 years 6 months ago
2010
ACM
Intrusion detection is an important problem in sensor networks. Prior works in static sensor environments show that constructing sensor barriers with random sensor deployment can ...
ASPLOS
2011
ACM
13 years 1 days ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
FGR
1996
IEEE
14 years 18 days ago
1996
IEEE
In Computer Mediated Communication such as desktop video conferencing, static video cameras provide a restricted field of view of remote sites. The effective field of view can be ...
TKDE
2002
13 years 8 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...