4743 search results - page 745 / 949 » Introduction to Functional Programming |
291
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
—The multi-source and single-sink (MSSS) topology, in wireless sensor networks, is defined as the network topology, where all of nodes can gather, receive and transmit data to t...
166
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— Ubiquitous robots need the ability to adapt their behaviour to the changing situations and demands they will encounter during their lifetimes. In particular, non-technical user...
215
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
222
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
151
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...