Sciweavers

1525 search results - page 71 / 305
» Formal Models for Communication-Based Design
Sort
View
ICFEM
1998
Springer
14 years 7 days ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
FMCAD
2006
Springer
13 years 11 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
14 years 4 months ago
A succinct memory model for automated design debugging
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
Brian Keng, Hratch Mangassarian, Andreas G. Veneri...
ISOLA
2007
Springer
14 years 2 months ago
Using Analogy to Promote Conceptual Modeling Reuse
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
AIEDAM
2007
86views more  AIEDAM 2007»
13 years 8 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser