15840 search results - page 243 / 3168 » The Control of Synchronous Systems |
127
click to vote
SBACPAD
2008
IEEE
15 years 9 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
143
click to vote
CACM
2008
15 years 3 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...
131
click to vote
ENTCS
2007
15 years 3 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
108
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
125
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...