5355 search results - page 216 / 1071 » Modules |
POPL
2007
ACM
14 years 11 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
PERCOM
2006
ACM
14 years 10 months ago
2006
ACM
This paper proposes a distributed platform designed to support pervasive learning and interactivity on a university campus and to ease tasks related to learning and teaching. The ...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
MCSS
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, linearisation of transmitter and receiver nonlinearities of an optical Intensity Modulation/Direct Detection system using digital signal processing is presented and ...