4693 search results - page 709 / 939 » Verifying Hybrid Systems |
151
click to vote
AINA
2007
IEEE
16 years 12 days ago
2007
IEEE
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...
145
click to vote
HICSS
2007
IEEE
16 years 11 days ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
144
click to vote
ICRA
2007
IEEE
16 years 11 days ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...
197
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
Computationally complex and data intensive atomic scale biomolecular simulation is enabled via Processing in Network Storage (PINS): a novel distributed system framework to overco...
173
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
Hybrid chip multithreaded SMPs present new challenges as well as new opportunities to maximize performance. Our intention is to discover the optimal operating configuration of suc...