532 search results - page 82 / 107 » Distributed, Modular HTL |
98
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Due to high levels of integration and complexity, the design of multi-core SoCs has become increasingly challenging. In particular, energy consumption and distributing a single gl...
92
Voted
ICFP
2006
ACM
16 years 17 days ago
2006
ACM
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...
103
click to vote
MOBISYS
2005
ACM
16 years 6 days ago
2005
ACM
The widespread availability of 802.11-based hardware has made it the premier choice of both researchers and practitioners for developing new wireless networks and applications. Ho...
74
Voted
IPSN
2010
Springer
15 years 7 months ago
2010
Springer
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
139
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...