1445 search results - page 145 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Cognitive radio (CR) systems need to be able to adjust the transceiver characteristics in response to stimuli received from the radio environment. Therefore, monitoring the wire...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
ENTCS
2006
13 years 9 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...