3995 search results - page 262 / 799 » Linearization of hybrid processes |
178
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
169
click to vote
DSMML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
166
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
OLAP queries are typically heavy-weight and ad-hoc thus requiring high storage capacity and processing power. In this paper, we address this problem using a database cluster which...
182
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
178
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...