3914 search results - page 607 / 783 » Automating SLA modeling |
141
click to vote
DSRT
2006
IEEE
15 years 11 months ago
2006
IEEE
A wide range of haptic devices exist that possess the potential to offer users a rich experience in a virtual reality environment. This however depends on the haptic device to be ...
162
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
167
click to vote
MTV
2006
IEEE
15 years 11 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
142
Voted
TIME
2006
IEEE
15 years 11 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
139
click to vote
SBCCI
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a transistor optimization methodology for low-power analog integrated CMOS circuits, relying on the physics-based gm/ID characteristics as a design optimizatio...