492 search results - page 62 / 99 » Hybrid Sequence Charts |
ICPP
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we present a heuristic algorithm that improves the performance of static task scheduling. Our algorithm is based on the list-scheduling mechanism. For the listing p...
ABIALS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
BMCBI
2005
13 years 8 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
EMSOFT
2011
Springer
12 years 8 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...