Sciweavers

469 search results - page 53 / 94
» Extended abstract: a race-free hardware modeling language
Sort
View
FCCM
2006
IEEE
101views VLSI» more  FCCM 2006»
15 years 7 months ago
A Type Architecture for Hybrid Micro-Parallel Computers
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
Benjamin Ylvisaker, Brian Van Essen, Carl Ebeling
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 3 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
VLDB
2006
ACM
207views Database» more  VLDB 2006»
16 years 1 months ago
Modeling and querying moving objects in networks
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
Ralf Hartmut Güting, Victor Teixeira de Almeida, ...
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
15 years 10 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
145
Voted
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 4 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...