1926 search results - page 327 / 386 » Modeling and Model Checking Software Product Lines |
DAC
1998
ACM
15 years 4 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
BMCBI
2006
14 years 12 months ago
2006
Background: The Lepidoptera Spodoptera frugiperda is a pest which causes widespread economic damage on a variety of crop plants. It is also well known through its famous Sf9 cell ...
111
click to vote
DAC
2007
ACM
16 years 24 days ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
WWW
2005
ACM
16 years 14 days ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...