826 search results - page 110 / 166 » A computational approach to the design of micromechanical hi... |
CASES
2007
ACM
14 years 22 days ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
ISCA
2011
IEEE
13 years 13 days ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
Stories help us structure our perception of a complex reality. Stories told in a workplace context also help to preserve knowledge of the organization, which is especially importa...
SPAA
2005
ACM
14 years 2 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...