5355 search results - page 216 / 1071 » Modules |
222
click to vote
POPL
2007
ACM
16 years 1 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...
83
Voted
CADE
2005
Springer
16 years 1 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...
92
Voted
PERCOM
2006
ACM
16 years 22 days 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 ...
114
Voted
IROS
2009
IEEE
15 years 7 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...
106
click to vote
MCSS
2009
Springer
15 years 7 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 ...