Sciweavers

629 search results - page 51 / 126
» Parallelization Method for a Continuous Property
Sort
View
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
14 years 12 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
JSSPP
1997
Springer
15 years 2 months ago
An Experimental Evaluation of Processor Pool-Based Scheduling for Shared-Memory NUMA Multiprocessors
In this paper we describe the design, implementation and experimental evaluation of a technique for operating system schedulers called processor pool-based scheduling [51]. Our tec...
Tim Brecht
IJAR
2007
69views more  IJAR 2007»
14 years 9 months ago
Racing algorithms for conditional independence inference
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
Remco R. Bouckaert, Milan Studený
FSS
2008
105views more  FSS 2008»
14 years 10 months ago
The self-dual core and the anti-self-dual remainder of an aggregation operator
In most decisional models based on pairwise comparison between alternatives, the reciprocity of the individual preference representations expresses a natural assumption of rationa...
José Luis García-Lapresta, Ricardo A...
IPPS
2007
IEEE
15 years 4 months ago
Library Function Selection in Compiling Octave
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
Daniel McFarlin, Arun Chauhan