3171 search results - page 293 / 635 » Application of Reduce Order Modeling to Time Parallelization |
179
click to vote
ICPP
1995
IEEE
15 years 8 months ago
1995
IEEE
– In this paper we present experiments with a class of graph partitioning algorithms that reduce the size of the graph by collapsing vertices and edges, partition the smaller gra...
149
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Speech recognition applications are known to require a significant amount of resources (memory, computing power). However, embedded speech recognition systems, such as in mobile p...
124
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
156
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...