1793 search results - page 225 / 359 » On the Design of Codes for DNA Computing |
193
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
184
Voted
PLDI
2003
ACM
16 years 6 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
202
click to vote
SAC
2003
ACM
16 years 6 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
213
Voted
ICA3PP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Finite volume numerical methods have been widely studied, implemented and parallelized on multiprocessor systems or on clusters. Modern graphics processing units (GPU) pr...
228
click to vote
JCS
2011
15 years 1 months ago
2011
We explore a new direction towards solving the identity authentication problem in RFID systems. We break the RFID authentication process into two main problems: message authenticat...