10707 search results - page 563 / 2142 » Designing executable abstractions |
196
click to vote
SEUS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
206
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
162
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an efficient implementation of the ultimate attribute opening operator. In this implementation, the ultimate opening is computed by processing the image maxtre...
220
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
191
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...