816 search results - page 134 / 164 » Automating Verification by Functional Abstraction at the Sys... |
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
BMCBI
2010
13 years 9 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
PDP
2009
IEEE
14 years 3 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— We introduce the concept of Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology. This is a network of heterogeneous robotic devices (PEIS) pervasively embedded ...
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...