Sciweavers

4007 search results - page 523 / 802
» Automotive Software Integration
Sort
View
PADL
2010
Springer
16 years 3 months ago
Static Detection of Race Conditions in Erlang
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
Maria Christakis, Konstantinos F. Sagonas
SAC
2009
ACM
16 years 1 months ago
Development of a biosignals framework for usability analysis
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
Inês Oliveira, Rui Lopes, Nuno Guimarã...
DATE
2009
IEEE
133views Hardware» more  DATE 2009»
16 years 1 months ago
SecBus: Operating System controlled hierarchical page-based memory bus protection
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
Lifeng Su, Stephan Courcambeck, Pierre Guillemin, ...
SASP
2009
IEEE
238views Hardware» more  SASP 2009»
16 years 1 months ago
Hardware acceleration of multi-view face detection
—This paper presents a parallelized architecture for hardware acceleration of multi-view face detection. In our architecture, the multi-view face detection system generates rotat...
Junguk Cho, Bridget Benson, Ryan Kastner
EDUTAINMENT
2009
Springer
16 years 1 months ago
AdMoVeo: A Robotic Platform for Teaching Creative Programming to Designers
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
Sjriek Alers, Jun Hu