Sciweavers

7811 search results - page 1281 / 1563
» computer 2004
Sort
View
EMSOFT
2004
Springer
16 years 1 days 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. ...
205
Voted
EMSOFT
2004
Springer
16 years 1 days 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
ESA
2004
Springer
143views Algorithms» more  ESA 2004»
16 years 1 days 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...
ESAS
2004
Springer
16 years 1 days 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
16 years 1 days 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 »