6834 search results - page 219 / 1367 » The Fail-Heterogeneous Architectural Model |
120
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
158
click to vote
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
138
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...
141
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
143
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...