Sciweavers

15840 search results - page 129 / 3168
» The Control of Synchronous Systems
Sort
View
PLDI
2004
ACM
14 years 3 months ago
Kill-safe synchronization abstractions
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
Matthew Flatt, Robert Bruce Findler
ICCAD
1993
IEEE
111views Hardware» more  ICCAD 1993»
14 years 2 months ago
Unifying synchronous/asynchronous state machine synthesis
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
Kenneth Y. Yun, David L. Dill
HYBRID
2001
Springer
14 years 2 months ago
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
Abstract. In this paper we investigate the question of the global controllability posed for control hybrid systems with autounomous and controlled swithchings. The main tool for ou...
Ekaterina S. Lemch, Shankar Sastry, Peter E. Caine...
HPCA
2007
IEEE
14 years 10 months ago
Colorama: Architectural Support for Data-Centric Synchronization
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
Luis Ceze, Pablo Montesinos, Christoph von Praun, ...
CISS
2010
IEEE
13 years 2 months ago
Retrodirective distributed transmit beamforming with two-way source synchronization
—Distributed transmit beamforming has recently been proposed as a technique in which several single-antenna sources cooperate to form a virtual antenna array and simultaneously t...
Robert D. Preuss, D. Richard Brown