10159 search results - page 644 / 2032 » System Design Validation Using Formal Models |
185
click to vote
JDCTA
2010
15 years 2 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...
281
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
174
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
241
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
265
click to vote
PLDI
2003
ACM
16 years 15 days 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...