Sciweavers

2875 search results - page 326 / 575
» Distributed Reactive Machines
Sort
View
HPDC
1995
IEEE
15 years 10 months ago
Loop Scheduling for Heterogeneity
In this paper, we study the problem of scheduling parallel loops at compile-time for a heterogeneous network of machines. We consider heterogeneity in three aspects of parallel pr...
Michal Cierniak, Wei Li, Mohammed Javeed Zaki
ICS
1995
Tsinghua U.
15 years 10 months ago
Optimum Modulo Schedules for Minimum Register Requirements
Modulo scheduling is an e cient technique for exploiting instruction level parallelism in a variety of loops, resulting in high performance code but increased register requirement...
Alexandre E. Eichenberger, Edward S. Davidson, San...
REX
1991
15 years 10 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
ISCAPDCS
2007
15 years 8 months ago
PARALLEL-TCOFFEE: A parallel multiple sequence aligner
In this paper we present a parallel implementation of T–Coffee — a widely used multiple sequence alignment package. Our software supports a majority of options provided by the...
Jaroslaw Zola, Xiao Yang, Adrian Rospondek, Sriniv...
PPSC
1993
15 years 7 months ago
An Interactive Visualization Environment for Financial Modeling on Heterogeneous Computing Systems
Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...
Gang Cheng, Kim Mills, Geoffrey Fox