197 search results - page 25 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
100
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
112
click to vote
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
105
click to vote
IEEEPACT
2006
IEEE
15 years 6 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
100
Voted
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—We present the estimation and evaluation of deployment models for sensor networks that exploit different amounts of a priori information. Topologies generated from the m...
109
Voted
SAC
2004
ACM
15 years 5 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...