3082 search results - page 288 / 617 » New Bounds for the Controller Problem |
175
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
204
click to vote
ICDCIT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
174
click to vote
IDEAL
2004
Springer
16 years 1 days ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
190
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
ACT We consider an optimal power and rate scheduling problem for a single user transmitting to a base station on a fading wireless link with the objective of minimizing the mean de...
176
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...