Sciweavers

3706 search results - page 131 / 742
» System Description: H-PILoT
Sort
View
94
Voted
EWSA
2004
Springer
15 years 6 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
113
Voted
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 6 months ago
A Solution for Hardware Emulation of Non Volatile Memory Macrocells
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
Alessandro Pirola
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 4 months ago
Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
109
Voted
CICLING
2006
Springer
15 years 4 months ago
Referring Via Document Parts
Documents in a wide range of genres often contain references to their own sections, pictures etc. We call such referring expressions instances of Document Deixis. The present work ...
Ivandré Paraboni, Kees van Deemter
116
Voted
EON
2008
15 years 2 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt