1271 search results - page 191 / 255 » On Simulation-Checking with Sequential Systems |
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
Advantages and shortcomings of different process modeling languages are heavily debated, both in academia and industry, but little evidence is presented to support judgements. Wit...
EUROPAR
2009
Springer
14 years 4 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
ISMIS
2009
Springer
14 years 4 months ago
2009
Springer
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
ASPDAC
2009
ACM
14 years 4 months ago
2009
ACM
— To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines is pr...