1992 search results - page 223 / 399 » Memory modeling for system synthesis |
165
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
149
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
171
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to...
145
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
167
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...