3387 search results - page 618 / 678 » Model-Checking for Real-Time Systems |
ISCC
2000
IEEE
14 years 1 months ago
2000
IEEE
With standard assumptions the routing and wavelength assignment problem (RWA) can be viewed as a Markov Decision Process (MDP). The problem, however, defies an exact solution bec...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Earlier work on scheduling by autonomous systems has demonstrated that schedules in the form of simple temporal networks, with intervals of values for possible event-times, can be ...
ICECCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
ICNP
1998
IEEE
14 years 1 months ago
1998
IEEE
Internet telephony must offer the standard telephony services. However, the transition to Internetbased telephony services also provides an opportunity to create new services more...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we present several novel strategies to improve software controlled cache utilization, so as to achieve lower power requirements for multi-media and signal processin...