140 search results - page 27 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
MOBICOM
2005
ACM
13 years 11 months ago
2005
ACM
Abiding geocast is a time stable geocast delivered to all nodes that are inside a destination region within a certain period of time. Services like position–based advertising, p...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
ISCA
2003
IEEE
13 years 11 months ago
2003
IEEE
Many future shared-memory multiprocessor servers will both target commercial workloads and use highly-integrated “glueless” designs. Implementing low-latency cache coherence i...
ASPLOS
2008
ACM
13 years 8 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
RAM
2008
IEEE
14 years 18 days ago
2008
IEEE
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...