2810 search results - page 80 / 562 » Contract-Based Component System Design |
117
click to vote
SCS
2003
15 years 14 days ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
An effective graphic interface is a key tool to improve the fruition of the results retrieved by an Information Retrieval (IR) system. In this work, we describe a two-dimensional...
105
click to vote
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Clusters featuring the InfiniBand interconnect are continuing to scale. As an example, the "Ranger" system at the Texas Advanced Computing Center (TACC) include...
106
Voted
AADEBUG
2005
Springer
15 years 1 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
DATE
2000
IEEE
15 years 3 months ago
2000
IEEE
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...