17680 search results - page 3340 / 3536 » Simulation of Computer Systems and Applications |
176
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
173
click to vote
W4A
2006
ACM
16 years 13 days ago
2006
ACM
Web Content Accessibility guidelines by W3C [29] provide several suggestions for Web designers on how to author Web pages in order to make them accessible to everyone. In this con...
182
click to vote
COLCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
CDMA technology represents an attractive choice for various wireless ad hoc networks applications, due to its appealing properties, such as resistance to jamming and interference,...
149
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Supply voltage scaling and adaptive body-biasing are important techniques that help to reduce the energy dissipation of embedded systems. This is achieved by dynamically adjusting...
158
click to vote
HAPTICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We describe the design and trial of a remotely conducted surgical master class, using a haptic virtual environment as an integral part of the learning process. In the trial, we li...