Sciweavers

15635 search results - page 456 / 3127
» Modelling and Design of VAML
Sort
View
GMP
2000
IEEE
173views Solid Modeling» more  GMP 2000»
15 years 11 months ago
A Representation Independent Geometric Modeling Kernel
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
HICSS
1999
IEEE
97views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Ragnarok Architectural Software Configuration Management Model
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
Henrik Bærbak Christensen
ICCHP
2010
Springer
15 years 4 months ago
A Model to Develop Videogames for Orientation and Mobility
Abstract. There is a real need to have systems for people with visual disabilities to be able to improve their orientation and mobility skills, and especially for children to be ab...
Jaime Sánchez, Luis Guerrero, Mauricio S&aa...
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 4 months ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
DAC
2003
ACM
16 years 7 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson