1271 search results - page 91 / 255 » On Simulation-Checking with Sequential Systems |
INFORMS
2008
13 years 10 months ago
2008
Cycle time-throughput (CT-TH) percentile curves quantify the relationship between percentiles of cycle time and factory throughput, and they can play an important role in strategi...
CCE
2004
13 years 10 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
ECWEB
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
The advent of sensor networks presents untapped opportunities for synthesis. We examine the problem of synthesis of behavioral specifications into networks of programmable sensor ...