Sciweavers

647 search results - page 100 / 130
» Implementation of MAP: A system for mobile assistant program...
Sort
View
DASIP
2010
15 years 23 days ago
High level design space exploration of RVC codec specifications for multi-core heterogeneous platforms
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
Christophe Lucarz, Ghislain Roquier, Marco Mattave...
MAM
2006
125views more  MAM 2006»
15 years 5 months ago
Stream computations organized for reconfigurable execution
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
André DeHon, Yury Markovsky, Eylon Caspi, M...
POPL
2000
ACM
15 years 10 months ago
Authentication Primitives and Their Compilation
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
Martín Abadi, Cédric Fournet, George...
148
Voted
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 10 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
184
Voted
ICRA
2008
IEEE
158views Robotics» more  ICRA 2008»
16 years 7 days ago
Informed visual search: Combining attention and object recognition
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
Per-Erik Forssén, David Meger, Kevin Lai, S...