Sciweavers

1449 search results - page 194 / 290
» Time Synchronization
Sort
View
APN
2004
Springer
14 years 2 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
ASYNC
2003
IEEE
97views Hardware» more  ASYNC 2003»
14 years 2 months ago
Energy and Performance Models for Clocked and Asynchronous Communication
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
Kenneth S. Stevens
DATE
2010
IEEE
161views Hardware» more  DATE 2010»
14 years 2 months ago
FPGA-based adaptive computing for correlated multi-stream processing
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...
Ming Liu, Zhonghai Lu, Wolfgang Kuehn, Axel Jantsc...
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
ISQED
2002
IEEE
85views Hardware» more  ISQED 2002»
14 years 2 months ago
Optimal Sequencing Energy Allocation for CMOS Integrated Systems
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...
Martin Saint-Laurent, Vojin G. Oklobdzija, Simon S...