Sciweavers

7811 search results - page 1281 / 1563
» computing 2004
Sort
View
EMSOFT
2004
Springer
15 years 9 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EMSOFT
2004
Springer
15 years 9 months ago
An approach for integrating basic retiming and software pipelining
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
Noureddine Chabini, Wayne Wolf
140
Voted
ESA
2004
Springer
143views Algorithms» more  ESA 2004»
15 years 9 months ago
Data Migration on Parallel Disks
Our work is motivated by the problem of managing data on storage devices, typically a set of disks. Such storage servers are used as web servers or multimedia servers, for handling...
Leana Golubchik, Samir Khuller, Yoo Ah Kim, Svetla...
172
Voted
ESAS
2004
Springer
15 years 9 months ago
Pseudonym Generation Scheme for Ad-Hoc Group Communication Based on IDH
In this paper we describe the advantages of using iterative Diffie-Hellman (IDH) key trees for mobile ad-hoc group communication. We focus on the Treebased Group Diffie-Hellman (...
Mark Manulis, Jörg Schwenk
ESAW
2004
Springer
15 years 9 months ago
Virtual Knowledge Communities for Corporate Knowledge Issues
Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distr...
Pierre Maret, Mark Hammond, Jacques Calmet
« Prev « First page 1281 / 1563 Last » Next »