97 search results - page 10 / 20 » Design of a Biomolecular Device That Executes Process Algebr... |
FPL
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
IMA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
ICVS
2001
Springer
14 years 2 days ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...