11374 search results - page 324 / 2275 » Demonstration of the CROSSMARC System |
169
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
229
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
167
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A partial feedback control scheme with a probabilistic fuzzy estimator (PFE) is presented for the robust control of quantum systems. In this scheme, a probabilistic fuz...
172
click to vote
USENIX
2007
15 years 9 months ago
2007
The ability to checkpoint a running application and restart it later can provide many useful benefits including fault recovery, advanced resources sharing, dynamic load balancing...
163
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Recommender systems help users sort through vast quantities of information. Sometimes, however, users do not know if they can trust the recommendations they receive. Adding a con...