Sciweavers

1421 search results - page 110 / 285
» Designing system on a chip products using systems engineerin...
Sort
View
SIGMETRICS
2011
ACM
245views Hardware» more  SIGMETRICS 2011»
12 years 11 months ago
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
Dinesh Subhraveti, Jason Nieh
ICFEM
1997
Springer
14 years 1 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
AMDO
2004
Springer
14 years 2 months ago
Variant Design in Immersive Virtual Reality: A Markup Language for Scalable CSG Parts
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
Peter Biermann, Bernhard Jung
SIGSOFT
2010
ACM
13 years 6 months ago
Building scalable software systems in the multicore era
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
Hridesh Rajan
CODES
2005
IEEE
14 years 2 months ago
Future processors: flexible and modular
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...
Charlie Johnson, Jeff Welser