Sciweavers

441 search results - page 20 / 89
» A simple boiling module
Sort
View
ICFP
2006
ACM
14 years 9 months ago
The missing link: dynamic components for ML
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
Andreas Rossberg
ACS
2006
13 years 9 months ago
Fully Coprime Comodules and Fully Coprime Corings
Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable gen...
Jawad Y. Abuhlail
DAC
1998
ACM
14 years 2 months ago
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
Ganesh Lakshminarayana, Niraj K. Jha
FUIN
2008
80views more  FUIN 2008»
13 years 9 months ago
An Algorithmic Solution of a Birkhoff Type Problem
We give an algorithmic solution in a simple combinatorial data of Birkhoff s type problem studied in [14], for the category repft(I, K[t]/(tm)) of filtered I-chains of modules over...
Daniel Simson, Mariusz Wojewódzki
IROS
2006
IEEE
581views Robotics» more  IROS 2006»
14 years 3 months ago
A 3D Fax Machine based on Claytronics
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
Padmanabhan Pillai, Jason Campbell, Gautam Kedia, ...