Sciweavers

9 search results - page 1 / 2
» Capturing Periodic Concurrent Interactions of Mission Comput...
Sort
View
APSEC
1999
IEEE
15 years 1 months ago
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
Jin Song Dong, Brendan P. Mahony, Neale Fulton
MOBIHOC
2008
ACM
15 years 9 months ago
Efficient binary schemes for training heterogeneous sensor and actor networks
Sensor networks are expected to evolve into long-lived, autonomous networked systems whose main mission is to provide in-situ users ? called actors ? with real-time information in...
Ferruccio Barsi, Alfredo Navarra, Maria Cristina P...
68
Voted
CONCUR
2007
Springer
15 years 3 months ago
Asynchronous Games: Innocence Without Alternation
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
Paul-André Melliès, Samuel Mimram
ATAL
2005
Springer
15 years 3 months ago
Predicting agent strategy mix of evolving populations
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
Sabyasachi Saha, Sandip Sen
IISWC
2008
IEEE
15 years 3 months ago
Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
Clay Hughes, Tao Li