15401 search results - page 2919 / 3081 » Software in Automotive Systems |
186
Voted
SAC
2005
ACM
16 years 18 days ago
2005
ACM
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...
196
Voted
SACMAT
2005
ACM
16 years 18 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
191
Voted
SENSYS
2005
ACM
16 years 18 days ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
214
Voted
TLDI
2005
ACM
16 years 18 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
185
click to vote
VEE
2005
ACM
16 years 18 days ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...