Sciweavers

2358 search results - page 337 / 472
» Revisiting communication performance models for computationa...
Sort
View
FCCM
1997
IEEE
129views VLSI» more  FCCM 1997»
15 years 8 months ago
The Chimaera reconfigurable functional unit
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
Scott Hauck, Thomas W. Fry, Matthew M. Hosler, Jef...
ICDCS
1994
IEEE
15 years 8 months ago
Submission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
L. H. Yeo, Arkady B. Zaslavsky
106
Voted
IPPS
2007
IEEE
15 years 10 months ago
Real-Time Distributed Scheduling of Precedence Graphs on Arbitrary Wide Networks
Previous work on scheduling dynamic competitive jobs is focused on multiprocessors configurations. This paper presents a new distributed dynamic scheduling scheme for sporadic re...
Franck Butelle, Mourad Hakem, Lucian Finta
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
15 years 1 months ago
A Dynamic Network Interdiction Problem
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
Brian J. Lunday, Hanif D. Sherali
DSN
2000
IEEE
15 years 9 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...