1742 search results - page 68 / 349 » An Applicative Module Calculus |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— We propose a novel modular underwater robot which can self-reconfigure by stacking and unstacking its component modules. Applications for this robot include underwater monitor...
FPL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...
CAV
1999
Springer
14 years 2 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
DAGSTUHL
2006
13 years 11 months ago
2006
We present an FPGA-based reconfigurable platform called Erlangen Slot Machine (ESM). The main advantages of this platform are: First, the possibility for each module to access peri...