Sciweavers

4885 search results - page 221 / 977
» Architectural Considerations with Distributed Computing
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Deadlock prevention by turn prohibition in interconnection networks
Abstract—In this paper we consider the problem of constructing minimal cycle-breaking sets of turns for graphs that model communication networks, as a method to prevent deadlocks...
Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa
HPCN
1999
Springer
15 years 10 months ago
A Parallel Implementation of the Block Preconditioned GCR Method
Abstract. The parallel implementation of GCR is addressed, with particular focus on communication costs associated with orthogonalization processes. This consideration brings up qu...
C. Vuik, Jason Frank
CONCUR
1998
Springer
15 years 10 months ago
It's About Time: Real-Time Logics Reviewed
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
Thomas A. Henzinger
CONCUR
1992
Springer
15 years 10 months ago
Discrete Time Process Algebra
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
Jos C. M. Baeten, Jan A. Bergstra
IPPS
2003
IEEE
15 years 11 months ago
Effective Utilization and Reconfiguration of Distributed Hardware Resources Using Job Management Systems
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...
Kris Gaj, Tarek A. El-Ghazawi, Nikitas A. Alexandr...