Sciweavers

622 search results - page 39 / 125
» Specifying Functional and Timing Behavior for Real-Time Appl...
Sort
View
CANDC
2007
ACM
14 years 1 months ago
Eco-visualization: combining art and technology to reduce energy consumption
Can creative visualizations of real time energy consumption patterns trigger more ecologically responsible behavior? Media art that displays the real time usage of key resources s...
Tiffany Holmes
FORTE
2008
13 years 10 months ago
Protocol Modeling with Model Program Composition
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
Margus Veanes, Wolfram Schulte
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
14 years 2 months ago
Specifying Behavior in C++
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
Xiangtian Dai, Gregory D. Hager, John Peterson
LCTRTS
2005
Springer
14 years 2 months ago
Transparent distribution of real-time components based on logical execution time
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
Emilia Farcas, Claudiu Farcas, Wolfgang Pree, Jose...
DDECS
2008
IEEE
185views Hardware» more  DDECS 2008»
14 years 3 months ago
Fast Boolean Minimizer for Completely Specified Functions
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...
Petr Fiser, Pemysl Rucký, Irena Vanov&aacut...