3199 search results - page 365 / 640 » Variability in Automation System Models |
214
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
169
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
157
click to vote
WSC
1998
15 years 8 months ago
1998
This tutorial article addresses the use of simulation in the hospitality industry, in particular the use of simulation in the fast food restaurant industry. Although the applicati...
202
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a fully automated 3D reconstruction
and visualization system for architectural scenes (interiors
and exteriors). The reconstruction of indoor environments
fr...