1709 search results - page 72 / 342 » Precise Modeling of Design Patterns |
104
Voted
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
VL
2002
IEEE
15 years 5 months ago
2002
IEEE
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
109
click to vote
RE
2007
Springer
15 years 6 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
FORTE
2007
15 years 2 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
86
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
This paper makes an intensive investigation of the application of Bayesian network in sentence retrieval and introduces three Bayesian network based sentence retrieval models with...