3381 search results - page 86 / 677 » Extending Dependencies with Conditions |
122
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
169
click to vote
SP
2008
IEEE
16 years 17 days ago
2008
IEEE
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
140
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
191
click to vote
RECOSOC
2007
15 years 7 months ago
2007
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...
156
click to vote
IAT
2005
IEEE
15 years 11 months ago
2005
IEEE
Multiagent Bayesian networks (MABNs) are a powerful new framework for uncertainty management in a distributed environment. In a MABN, a collective joint probability distribution i...