Sciweavers

1803 search results - page 258 / 361
» An Automatic Distributed Simulation Environment
Sort
View
ICCAD
2008
IEEE
109views Hardware» more  ICCAD 2008»
15 years 11 months ago
Verifying external interrupts of embedded microprocessor in SoC with on-chip bus
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang
HYBRID
2010
Springer
15 years 9 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
WCNC
2008
IEEE
15 years 9 months ago
Relay-Assisted ARQ in Wireless Ad-Hoc Networks
— In this paper we study a simple protocol utilizing two-hop cooperative diversity augmented with “automatic repeat request” (ARQ) for multi-hop ad-hoc networks. This protoco...
Furuzan Atay Onat, Dan Avidor
FPL
2005
Springer
131views Hardware» more  FPL 2005»
15 years 8 months ago
An Efficient Approach to Hide the Run-Time Reconfiguration from SW Applications
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi
ICAT
2003
IEEE
15 years 8 months ago
Extracting Rheological Properties of Deformable Objects with Haptic Vision
In this paper, we propose a novel approach to extracting rheological properties of deformable objects based on Haptic vision, which was proposed for vision-based automatic constru...
Naoki Ueda, Kiyotaka Kushihama, Shin-iti Hirai, Hi...