Sciweavers

3895 search results - page 235 / 779
» Measuring the effectiveness of ACATS
Sort
View
ICCAD
1995
IEEE
84views Hardware» more  ICCAD 1995»
15 years 10 months ago
Statistical behavioral modeling and characterization of A/D converters
This paper presents a method to characterize Nyquist rate A/D converters based on the use of a first order statistical behavioral model. The proposed model is derived from a very...
Eduardo J. Peralías, Adoración Rueda...
AIIDE
2008
15 years 9 months ago
A Cover-Based Approach to Multi-Agent Moving Target Pursuit
We explore the task of designing an efficient multi-agent system that is capable of capturing a single moving target, assuming that every agent knows the location of all agents on...
Alejandro Isaza, Jieshan Lu, Vadim Bulitko, Russel...
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 8 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
APGV
2008
ACM
164views Visualization» more  APGV 2008»
15 years 8 months ago
Quantifying usability in secure graphics: assessing the user costs of protecting 3D content
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
Jiajun Zhu, Jonathan Z. Bakdash, David Koller, Tho...
ASPDAC
2008
ACM
130views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Architecture-level thermal behavioral characterization for multi-core microprocessors
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
Duo Li, Sheldon X.-D. Tan, Murli Tirumala