1830 search results - page 83 / 366 » Functional Programs as Linked Data |
141
click to vote
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
In many energy-constrained wireless sensor networks, nodes cooperatively forward correlated sensed data to data sinks. In order to reduce the communication cost (e.g. overall ener...
121
click to vote
PADL
2010
Springer
16 years 23 hour ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
134
click to vote
TLDI
2010
ACM
16 years 23 hour ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
177
Voted
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
127
click to vote
IEEEAMS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...