1031 search results - page 194 / 207 » On the Formal Development of Safety-Critical Software |
104
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
107
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
148
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
126
click to vote
DAGSTUHL
2001
15 years 1 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
107
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...