Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,002
Synchronous Derived Clock and Synthesis . . .
"... Based on analyzing significance of controlling clock in design of low power sequential circuits, this paper proposes a technique where a gating signal is derived from the master latch in a flip-flop to make the derived clock have no glitch and no skew. The design of a decimal counter with half-frequ ..."
Abstract
- Add to MetaCart
-frequency division shows that by using the synchronous derived clock the counter has lower power dissipation as well as simpler combinational logic. Computer simulation shows 20% power saving.
Wait-Free Synchronization
- ACM Transactions on Programming Languages and Systems
, 1993
"... A wait-free implementation of a concurrent data object is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execution speeds of the other processes. The problem of constructing a wait-free implementation of one data object from another lie ..."
Abstract
-
Cited by 851 (28 self)
- Add to MetaCart
;there is no wait-free implementation of X by Y ." We derive a hierarchy of objects such that no object at one level has a wait-free implementation in terms of objects at lower levels. In particular, we show that atomic read/write registers, which have been the focus of much recent attention
Nonisomorphic Mappings in Synchronous Derivations
"... This paper looks at the formal nature of non#isomorphic mappings between TAGs. ..."
Abstract
- Add to MetaCart
This paper looks at the formal nature of non#isomorphic mappings between TAGs.
Time, Clocks, and the Ordering of Events in a Distributed System
, 1978
"... The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events. The use of the total ordering i ..."
Abstract
-
Cited by 2869 (14 self)
- Add to MetaCart
is illustrated with a method for solving synchronization problems. The algorithm is then specialized for synchronizing physical clocks, and a bound is derived on how far out of synchrony the clocks can become.
Monitors: An Operating System Structuring Concept
- Communications of the ACM
, 1974
"... This is a digitized copy derived from an ACM copyrighted work. It is not guaranteed to be an accurate copy of the author's original work. This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization, descri ..."
Abstract
-
Cited by 566 (0 self)
- Add to MetaCart
This is a digitized copy derived from an ACM copyrighted work. It is not guaranteed to be an accurate copy of the author's original work. This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization
Symbolic Model Checking: 10^20 States and Beyond
, 1992
"... Many different methods have been devised for automatically verifying finite state systems by examining state-graph models of system behavior. These methods all depend on decision procedures that explicitly represent the state space using a list or a table that grows in proportion to the number of st ..."
Abstract
-
Cited by 758 (41 self)
- Add to MetaCart
Binary Decision Diagrams (Bryant, R. E., 1986, IEEE Trans. Comput. C-35) to represent relations and formulas. We then show how our new Mu-Calculus model checking algorithm can be used to derive efficient decision procedures for CTL model checking, satistiability of linear-time temporal logic formulas
Low-Power Design of Sequential Circuits Using a Quasi-Synchronous Derived Clock
- Int’l Journal of Electronics, Taylor and Francis Publishing Group
, 2001
"... Abstract – This paper presents a novel circuit design technique to reduce the power dissipation in sequential circuits by generating a quasi-synchronous derived clock from the master clock and using it to isolate the flip flops in the circuit from the unwanted triggering action of the master clock. ..."
Abstract
-
Cited by 6 (5 self)
- Add to MetaCart
Abstract – This paper presents a novel circuit design technique to reduce the power dissipation in sequential circuits by generating a quasi-synchronous derived clock from the master clock and using it to isolate the flip flops in the circuit from the unwanted triggering action of the master clock
Beat: The behavior expression animation toolkit
, 2001
"... The Behavior Expression Animation Toolkit (BEAT) allows animators to input typed text that they wish to be spoken by an animated human figure, and to obtain as output appropriate and synchronized nonverbal behaviors and synthesized speech in a form that can be sent to a number of different animation ..."
Abstract
-
Cited by 310 (36 self)
- Add to MetaCart
The Behavior Expression Animation Toolkit (BEAT) allows animators to input typed text that they wish to be spoken by an animated human figure, and to obtain as output appropriate and synchronized nonverbal behaviors and synthesized speech in a form that can be sent to a number of different
Time Synchronization in Ad Hoc Networks
- IN ACM SYMPOSIUM ON MOBILE AD HOC NETWORKING AND COMPUTING (MOBIHOC 01
, 2001
"... Ubiquitous computing environments are typically based upon ad hoc networks of mobile computing devices. These devices may be equipped with sensor hardware to sense the physical environment and may be attached to real world artifacts to form so{called smart things. The data sensed by various smart th ..."
Abstract
-
Cited by 210 (13 self)
- Add to MetaCart
things can then be combined to derive knowledge about the environment, which in turn enables the smart things to "react" intelligently to their environment. For this so{called sensor fusion, temporal relationships (X happened before Y) and real{time issues (X and Y happened within a certain
Skyscraper broadcasting: A new broadcasting scheme for metropolitan video-on-demand systems
, 1997
"... We investigate a novel multicast technique, called Skyscraper Broadcasting (SB), for video-on-demand applications. We discuss the data fragmentation technique, the broadcasting strategy, and the client design. We also show the correctness of our technique, and derive mathematical equations to analyz ..."
Abstract
-
Cited by 307 (20 self)
- Add to MetaCart
We investigate a novel multicast technique, called Skyscraper Broadcasting (SB), for video-on-demand applications. We discuss the data fragmentation technique, the broadcasting strategy, and the client design. We also show the correctness of our technique, and derive mathematical equations
Results 1 - 10
of
3,002
