Sciweavers

3733 search results - page 388 / 747
» Logics of communication and change
Sort
View
DATE
2010
IEEE
105views Hardware» more  DATE 2010»
15 years 12 months ago
Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs
Abstract—We present a set of modeling constructs accompanied by a high performance simulation kernel for accuracy adaptive transaction level models. In contrast to traditional, ï...
Rauf Salimi Khaligh, Martin Radetzki
FCCM
2002
IEEE
133views VLSI» more  FCCM 2002»
15 years 11 months ago
Reconfigurable Shape-Adaptive Template Matching Architectures
This paper presents three reconfigurable computing approaches for a Shape-Adaptive Template Matching (SA-TM) method to retrieve arbitrarily shaped objects within images or video f...
Jörn Gause, Peter Y. K. Cheung, Wayne Luk
WORDS
2002
IEEE
15 years 11 months ago
Reconfiguration of Resources in Middleware
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
Hector A. Duran-Limon, Gordon S. Blair
ICSE
2010
IEEE-ACM
15 years 11 months ago
LSdiff: a program differencing tool to identify systematic structural differences
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
Alex Loh, Miryung Kim
DEXA
2000
Springer
76views Database» more  DEXA 2000»
15 years 11 months ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio