766 search results - page 103 / 154 » Synthesis of Synchronous Interfaces |
ICQNM
2008
IEEE
14 years 4 months ago
2008
IEEE
We have begun to expand the NIST quantum key distribution (QKD) system into a quantum network to support secure cryptography. We are starting with a simple three-node network, one...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
ROMAN
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a ...
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...