3018 search results - page 497 / 604 » Leveraging the |
173
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
176
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
We propose minimalist new hardware additions to a microprocessor chip that protect cryptographic keys in portable computing devices which are used in the field but owned by a cen...
206
click to vote
CIVR
2007
Springer
16 years 20 days ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
185
click to vote
FPGA
2007
ACM
16 years 19 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
151
click to vote
GI
2007
Springer
16 years 19 days ago
2007
Springer
: Public transport plays an important role in our society which is characterized by mobility, individuality, comfort and ecological constraints. It is common opinion that public tr...