Sciweavers

1492 search results - page 100 / 299
» Integrative, model-based engineering design
Sort
View
VSTTE
2005
Springer
14 years 1 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
DAC
2007
ACM
14 years 9 months ago
Multi-Core Design Automation Challenges
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
John A. Darringer
AVI
2004
13 years 9 months ago
Integrating expanding annotations with a 3D explosion probe
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
Henry Sonnet, M. Sheelagh T. Carpendale, Thomas St...
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
14 years 1 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
FLAIRS
2008
13 years 10 months ago
UServ Case Study, Conceptual Design with ARD+ Method
The paper is dedicated to an analysis of the classic business rules study called UServ. The importance of this study comes from the fact, that it serves as a benchmark example for...
Grzegorz J. Nalepa