4835 search results - page 762 / 967 » Refactoring Functional Programs |
BROADNETS
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper considers the problem of dedicated path-protection in a wavelength-division multiplexing (WDM) mesh network with waveband switching (WBS) functionality under shared ...
ICC
2007
IEEE
14 years 5 months 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...
ICRA
2007
IEEE
14 years 5 months 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...
SEFM
2007
IEEE
14 years 4 months 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 ...
ACL2
2006
ACM
14 years 4 months 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...