8197 search results - page 1383 / 1640 » Adaptive functional programming |
291
click to vote
ICC
2007
IEEE
16 years 23 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...
212
click to vote
SEFM
2007
IEEE
16 years 22 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 ...
218
click to vote
ACL2
2006
ACM
16 years 13 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...
150
click to vote
ASPLOS
2006
ACM
16 years 12 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...
195
click to vote
SCESM
2006
ACM
16 years 12 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...