1663 search results - page 120 / 333 » Validation and Verification of Simulation Models |
161
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
148
click to vote
NSDI
2004
15 years 5 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
149
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
113
click to vote
ENVSOFT
2010
15 years 3 months ago
2010
Wind flow in urban environments is an important factor governing the dispersion of heat and pollutants from streets, squares and buildings. This paper presents a coupled CFD model...
149
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...