3415 search results - page 39 / 683 » Physical Design Refinement: The |
105
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
ENTCS
2002
15 years 15 days ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
99
Voted
IMR
2003
Springer
15 years 5 months ago
2003
Springer
Finite element analysts and designers need to feel confident in the results of their analyses before sending a product to prototype or production. Mesh discretization can greatly ...
121
click to vote
ETRICS
2006
15 years 4 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
90
Voted
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
