3828 search results - page 237 / 766 » Proof-Based System Engineering Using a Virtual System Model |
161
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
174
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
159
click to vote
CGO
2007
IEEE
16 years 26 days ago
2007
IEEE
Managed runtime environments (MREs) employ garbage collection (GC) for automatic memory management. However, GC induces pressure on the virtual memory (VM) manager, since it may t...
182
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
265
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...