7778 search results - page 1453 / 1556 » Designing Controllers for Reachability |
142
click to vote
ICCAD
2002
IEEE
16 years 6 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
115
click to vote
SOSP
2005
ACM
16 years 6 days ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
128
Voted
SOSP
2007
ACM
16 years 6 days ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
136
Voted
IUI
2010
ACM
16 years 6 days ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
141
Voted
CSCW
2010
ACM
16 years 5 days ago
2010
ACM
People are often required to catch up on information they have missed in meetings, because of lateness or scheduling conflicts. Catching up is a complex cognitive process where pe...