Sciweavers

503 search results - page 53 / 101
» A simulation model for designing the automation of future's ...
Sort
View
DAC
2008
ACM
14 years 8 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
CGF
2004
118views more  CGF 2004»
13 years 7 months ago
Cultural Heritage Preservation Using Constructive Shape Modeling
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
Carl Vilbrandt, Galina Pasko, Alexander A. Pasko, ...
AI
2003
Springer
14 years 20 days ago
DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
Marc-André Labrie, Brahim Chaib-draa, Nicol...
DAC
1999
ACM
13 years 11 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
DIGRA
2005
Springer
14 years 29 days ago
Interactive Digital Storytelling: Towards a Hybrid Conceptual Approach
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
Ulrike Spierling