74 search results - page 7 / 15 » Infinite Time Register Machines |
109
Voted
JCP
2007
15 years 1 months ago
2007
—This paper proposes the energy function of a power system with a Static Synchronous Series Compensator (SSSC). They make it possible for the direct method to acquire the transie...
IFIP
1993
Springer
15 years 5 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
125
Voted
DAC
2000
ACM
16 years 2 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
107
Voted
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...