20175 search results - page 140 / 4035 » Is abstraction the key to computing |
115
click to vote
RSP
1999
IEEE
15 years 5 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
PERVASIVE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We show that accelerometers embedded in a television remote control can be used to distinguish household members based on the unique way each person wields the remote. Th...
114
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
88
Voted
SIGGRAPH
1990
ACM
15 years 4 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
121
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...