Sciweavers

1532 search results - page 61 / 307
» Functional density synchronization
Sort
View
ESOP
2007
Springer
15 years 7 months ago
Multi-language Synchronization
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
Robert Ennals, David Gay
84
Voted
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
15 years 6 months ago
Preserving synchronizing sequences of sequential circuits after retiming
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...
Maher N. Mneimneh, Karem A. Sakallah, John Moondan...
108
Voted
MODELS
2009
Springer
15 years 5 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader
97
Voted
TNN
2008
102views more  TNN 2008»
15 years 21 days ago
Robust Synchronization of an Array of Coupled Stochastic Discrete-Time Delayed Neural Networks
Abstract--This paper is concerned with the robust synchronization problem for an array of coupled stochastic discrete-time neural networks with time-varying delay. The individual n...
J. Liang, Z. Wang, Y. Liu, X. Liu
CP
2001
Springer
15 years 5 months ago
Random 3-SAT and BDDs: The Plot Thickens Further
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...
Alfonso San Miguel Aguirre, Moshe Y. Vardi