12032 search results - page 799 / 2407 » Simulation of Manufacturing Systems |
248
click to vote
SIGMOD
1995
ACM
15 years 11 months ago
1995
ACM
Many papers have examined how to e ciently export a materialized view but to our knowledge none have studied how to e ciently import one. To import a view, i.e., to install a stre...
234
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
216
click to vote
AAAI
2010
15 years 9 months ago
2010
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
208
click to vote
NETWORKING
2004
15 years 9 months ago
2004
Abstract. End System Multicasting (ESM) is fast becoming a feasible alternative to IP multicasting. ESM approaches can be broadly classified into two main categories: (i) Tree firs...
195
click to vote
PDPTA
2000
15 years 9 months ago
2000
This paper deals with multiprocessor systems required to provide both high performance and good figures of dependability attributes. Fault tolerance is pursued through a proper co...