1382 search results - page 81 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
103
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
DAC
2000
ACM
16 years 2 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
108
click to vote
ISCAPDCS
2004
15 years 2 months ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
153
click to vote
TSP
2010
14 years 8 months ago
2010
We address the problem in signal classification applications, such as automatic speech recognition (ASR) systems that employ the hidden Markov model (HMM), that it is necessary to...
109
Voted
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...