Sciweavers

177 search results - page 21 / 36
» Modeling shared variables in VHDL
Sort
View
103
Voted
OHS
2000
Springer
15 years 4 months ago
Structural Computing in the Collaborative Work Domain?
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
Jörg M. Haake
94
Voted
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
15 years 6 months ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
UAI
2004
15 years 1 months ago
Dependent Dirichlet Priors and Optimal Linear Estimators for Belief Net Parameters
A Bayesian belief network is a model of a joint distribution over a finite set of variables, with a DAG structure representing immediate dependencies among the variables. For each...
Peter Hooper
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
15 years 6 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
ICCAD
1997
IEEE
101views Hardware» more  ICCAD 1997»
15 years 4 months ago
Minimum area retiming with equivalent initial states
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
Naresh Maheshwari, Sachin S. Sapatnekar