Sciweavers

617 search results - page 29 / 124
» On the design of hybrid peer-to-peer systems
Sort
View
HYBRID
2010
Springer
13 years 6 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
RTCSA
2006
IEEE
14 years 2 months ago
Jitter Evaluation of Real-Time Control Systems
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
Manuel Lluesma, Anton Cervin, Patricia Balbastre, ...
IUI
2006
ACM
14 years 2 months ago
A hybrid learning system for recognizing user tasks from desktop activities and email messages
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...
Jianqiang Shen, Lida Li, Thomas G. Dietterich, Jon...
FPGA
1998
ACM
142views FPGA» more  FPGA 1998»
14 years 29 days ago
A Hybrid Complete-Graph Partial-Crossbar Routing Architecture for Multi-FPGA Systems
Multi-FPGA systems (MFSs) are used as custom computing machines, logic emulators and rapid prototyping vehicles. A key aspect of these systems is their programmable routing archit...
Mohammed A. S. Khalid, Jonathan Rose
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
14 years 2 months ago
Optimal Design, Evaluation, and Analysis of AGV Transportation Systems Based on Various Transportation Demands
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...