2392 search results - page 313 / 479 » Performance modeling from software components |
BMCBI
2005
13 years 8 months ago
2005
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
ISORC
2000
IEEE
14 years 21 days ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
ISBI
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...