Sciweavers

1271 search results - page 91 / 255
» On Simulation-Checking with Sequential Systems
Sort
View
INFORMS
2008
104views more  INFORMS 2008»
13 years 10 months ago
Estimating Cycle Time Percentile Curves for Manufacturing Systems via Simulation
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...
Feng Yang, Bruce E. Ankenman, Barry L. Nelson
CCE
2004
13 years 10 months ago
Module-oriented automatic differentiation in chemical process systems optimization
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 ...
Xiang Li, Zhijiang Shao, Jixin Qian
IPPS
2010
IEEE
13 years 8 months ago
Performance evaluation of concurrent collections on high-performance multicore computing systems
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...
Aparna Chandramowlishwaran, Kathleen Knobe, Richar...
ECWEB
2009
Springer
112views ECommerce» more  ECWEB 2009»
14 years 5 months ago
Towards Privacy Compliant and Anytime Recommender Systems
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...
Armelle Brun, Anne Boyer
DATE
2005
IEEE
88views Hardware» more  DATE 2005»
14 years 4 months ago
System Synthesis for Networks of Programmable Blocks
The advent of sensor networks presents untapped opportunities for synthesis. We examine the problem of synthesis of behavioral specifications into networks of programmable sensor ...
Ryan Mannion, Harry Hsieh, Susan Cotterell, Frank ...