20126 search results - page 324 / 4026 » Timed Transition Systems |
133
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
131
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
144
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
119
click to vote
COMPCON
1995
IEEE
15 years 8 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
139
Voted
CG
2008
Springer
15 years 6 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...