1228 search results - page 21 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
CSREASAM
2006
13 years 9 months ago
2006
- INFIR (Interactive Fingerprint Recognition) is an interactive fingerprint recognition and visualization tool. The tool is designed to cope with the problems related to automated ...
KES
2005
Springer
14 years 1 months ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
CASES
2007
ACM
2007
ACM
INTACTE: an interconnect area, delay, and energy estimation tool for microarchitectural explorations
13 years 11 months ago
Prior work on modeling interconnects has focused on optimizing the wire and repeater design for trading off energy and delay, and is largely based on low level circuit parameters....