376 search results - page 31 / 76 » Developing Theories of Types and Computability via Realizabi... |
DAC
2011
ACM
12 years 7 months ago
2011
ACM
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
SSPR
2004
Springer
14 years 27 days ago
2004
Springer
Classification fusion combines multiple classifications of data into a single classification solution of greater accuracy. Feature extraction aims to reduce the computational cost ...
CF
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
EMSOFT
2009
Springer
14 years 5 days ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...