Sciweavers

6111 search results - page 145 / 1223
» Time, Hardware, and Uniformity
Sort
View
TEI
2012
ACM
254views Hardware» more  TEI 2012»
12 years 5 months ago
The Garden of Time: a tangible interactive video installation
In this paper we present the interactive video installation titled “The Garden of Time”: a tangible interface designed specifically to emphasize the conceptual nature of the p...
Jorge C. S. Cardoso, Carlos Sena Caires
CDC
2009
IEEE
14 years 3 months ago
Dynamic practical stabilization of sampled-data linear distributed parameter systems
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
Ying Tan, Emmanuel Trélat, Yacine Chitour, ...
CTCS
1989
Springer
14 years 2 months ago
Temporal Structures
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
Ross Casley, Roger F. Crew, José Meseguer, ...
ISORC
2007
IEEE
14 years 4 months ago
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
Raimund Kirner, Peter P. Puschner
ICCD
2001
IEEE
105views Hardware» more  ICCD 2001»
14 years 7 months ago
Timing Characterization of Dual-edge Triggered Flip-flops
A novel timing characterization for dual-edge triggered flip-flops is presented in this paper. This characterization takes into account the real overhead taken from the clock cycl...
Nikola Nedovic, Marko Aleksic, Vojin G. Oklobdzija