15401 search results - page 2949 / 3081 » Software in Automotive Systems |
180
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We are rapidly moving toward a world where personal networked video cameras are ubiquitous. Already, camera-equipped cell phones are becoming commonplace. Imagine being able to ta...
167
Voted
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper proposes a hardware transactional memory (HTM) system called LogTM Signature Edition (LogTM-SE). LogTM-SE uses signatures to summarize a transaction's readand writ...
306
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
182
Voted
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
302
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The Swiss National Competence Center for Research in mobile Information and Communication Systems (NCCR-MICS or MICS) is one of several research initiatives sponsored by the Swiss...