1992 search results - page 217 / 399 » Memory modeling for system synthesis |
217
click to vote
CCECE
2006
IEEE
16 years 14 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
286
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
164
click to vote
RR
2009
Springer
16 years 28 days ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
145
click to vote
FGCN
2007
IEEE
16 years 22 days ago
2007
IEEE
Volatile data, being vital to digital investigation, have become part of the standard items targeted in the course of live response to a computer system. In traditional computer f...
219
click to vote
SIGMETRICS
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...