Sciweavers

4359 search results - page 677 / 872
» Automated Pipeline Design
Sort
View
CGF
2008
120views more  CGF 2008»
15 years 5 months ago
COPERNICUS: Context-Preserving Engine for Route Navigation with Interactive User-modifiable Scaling
In this paper, we present an automated system for generating context-preserving route maps that depict navigation routes as a path between nodes and edges inside a topographic net...
Hartmut Ziegler, Daniel A. Keim
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 5 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
ITSSA
2006
98views more  ITSSA 2006»
15 years 5 months ago
Agent-Oriented Data Curation in Bioinformatics
Abstract. The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain...
Simon Miles
JSS
2006
65views more  JSS 2006»
15 years 5 months ago
Patterns of conflict among software components
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
Michelle Hepner, Rose F. Gamble, Manasi Kelkar, Le...
RTS
2006
176views more  RTS 2006»
15 years 5 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt