277 search results - page 36 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
101
click to vote
IJMMS
1998
14 years 11 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
103
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
SIGSOFT
2004
ACM
16 years 15 days ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
102
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
DAC
1997
ACM
15 years 4 months ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...