Sciweavers

1525 search results - page 71 / 305
» Formal Models for Communication-Based Design
Sort
View
120
Voted
ICFEM
1998
Springer
15 years 4 months 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
148
Voted
FMCAD
2006
Springer
15 years 4 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
93
Voted
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
15 years 9 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...
100
Voted
ISOLA
2007
Springer
15 years 6 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...
93
Voted
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 22 days 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