Sciweavers

8695 search results - page 89 / 1739
» Making the Complex Simple
Sort
View
IPPS
2003
IEEE
14 years 1 months ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes
FUIN
2006
111views more  FUIN 2006»
13 years 8 months ago
Typing the Behavior of Software Components using Session Types
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A...
ICASSP
2008
IEEE
14 years 2 months ago
Outage capacity of a cooperative scheme with binary input and a simple relay
Cooperative communications is a rapidly evolving research area. Most of the cooperative protocols that have appeared in the literature assume slow flat fading channels and Gaussi...
George N. Karystinos, Athanasios P. Liavas
ENVSOFT
2008
55views more  ENVSOFT 2008»
13 years 8 months ago
A simple algorithm for yield estimates: Evaluation for semi-arid irrigated winter wheat monitored with green leaf area index
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
Benoît Duchemin, Philippe Maisongrande, Gill...

Publication
404views
14 years 5 months ago
Bayesian variable order Markov models.
We present a simple, effective generalisation of variable order Markov models to full online Bayesian estimation. The mechanism used is close to that employed in context tree wei...
Christos Dimitrakakis