1205 search results - page 67 / 241 » From high-level component-based models to distributed implem... |
102
click to vote
HPCC
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capabi...
117
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
132
Voted
PODC
2006
ACM
15 years 6 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
100
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The scarcity of available multi-track recordings constitutes a severe constraint on the training of probabilistic models for voice extraction from polyphonic music. We propose a n...
112
click to vote
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...