177 search results - page 12 / 36 » Modeling shared variables in VHDL |
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
91
Voted
EOR
2008
15 years 13 days ago
2008
We study a dual channel supply chain in which a manufacturer sells to a retailer as well as to consumers directly. Consumers choose the purchase channel based on price and service...
95
Voted
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
136
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
105
Voted
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...