601 search results - page 37 / 121 » Simulation vs. Equivalence |
FPL
2007
Springer
14 years 3 months ago
2007
Springer
Simple algorithms can be analytically characterized, but such analysis is questionable or even impossible for more complicated algorithms, such as Model Predictive Control (MPC). ...
ISI
2004
Springer
14 years 2 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
We present a transport protocol whose goal is to reduce power consumption without compromising delivery requirements of applications. To meet its goal of energy efficiency, our tr...
ICISP
2010
Springer
14 years 29 days ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
HPDC
2012
IEEE
11 years 11 months ago
2012
IEEE
This paper presents a scheme to optimize the mapping of HPC applications to a set of hybrid dedicated and cloud resources. First, we characterize application performance on dedica...