1151 search results - page 167 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
145
Voted
CSREAESA
2008
15 years 5 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
147
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
118
Voted
ISER
2000
Springer
15 years 7 months ago
2000
Springer
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...
142
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
162
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...