Sciweavers

2695 search results - page 67 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
14 years 2 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
14 years 2 months ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...
ICDE
2004
IEEE
99views Database» more  ICDE 2004»
14 years 10 months ago
Direct Mesh: a Multiresolution Approach to Terrain Visualization
Terrain can be approximated by a triangular mesh consisting millions of 3D points. Multiresolution triangular mesh (MTM) structures are designed to support applications that use t...
Kai Xu 0003, Xiaofang Zhou, Xuemin Lin
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
14 years 9 months ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
JDCTA
2010
136views more  JDCTA 2010»
13 years 3 months ago
The Design and Development of Testing Information System of Psychodiagnosis for Equestrianism Players
Combining with the characteristics of equestrian sports and the psycho diagnosis technology and using the tools such as Visual Basic, Photoshop, Microsoft Access, Psychodiagnosis ...
Bin Wang, Gaofeng Pan, Xin Li, Chunyan Su