1239 search results - page 41 / 248 » Techniques for the Design of Java Operating Systems |
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
VTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
IJCAT
2008
13 years 7 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
Mobile and wearable computers present input/output problems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on na...