Sciweavers

211 search results - page 5 / 43
» Causal Behaviours and Nets
Sort
View
ECEASST
2008
133views more  ECEASST 2008»
13 years 7 months ago
Debugging Distributed Systems with Causal Nets
Gian Luigi Ferrari, Roberto Guanciale, Daniele Str...
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
13 years 11 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
IJCAI
1993
13 years 9 months ago
Reducing Ambiguity by Learning Assembly Specific Behaviour
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
Bert Bredeweg, Cis Schut
IDT
2010
124views more  IDT 2010»
13 years 6 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
GLVLSI
1998
IEEE
169views VLSI» more  GLVLSI 1998»
13 years 12 months ago
On the Characterization of Multi-Point Nets in Electronic Designs
Important layout properties of electronic designs include interconnection length values, clock speed, area requirements, and power dissipation. A reliable estimation of those prop...
Dirk Stroobandt, Fadi J. Kurdahi