Sciweavers

774 search results - page 35 / 155
» On Timed Alternating Simulation for Concurrent Timed Games
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
14 years 9 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
BMCBI
2006
96views more  BMCBI 2006»
14 years 9 months ago
Bayesian detection of periodic mRNA time profiles without use of training examples
Background: Detection of periodically expressed genes from microarray data without use of known periodic and non-periodic training examples is an important problem, e.g. for ident...
Claes R. Andersson, Anders Isaksson, Mats G. Gusta...
87
Voted
JFP
2000
91views more  JFP 2000»
14 years 9 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren
CPHYSICS
2010
135views more  CPHYSICS 2010»
14 years 9 months ago
An events based algorithm for distributing concurrent tasks on multi-core architectures
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
David W. Holmes, John R. Williams, Peter Tilke
87
Voted
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 4 months ago
Synchronization of Single-Frequency Simulcast Networks Using Network Time Protocol
 Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
Stefano Bregni, Luciano Lacavalla, Bruno Propersi,...