Sciweavers

3706 search results - page 131 / 742
» System Description: E-KRHyper
Sort
View
EWSA
2004
Springer
14 years 2 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
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
14 years 2 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»
14 years 29 days 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...
CICLING
2006
Springer
14 years 29 days 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
EON
2008
13 years 10 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