1678 search results - page 219 / 336 » An ASM Specification of C |
178
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
160
click to vote
JIRS
2008
15 years 6 months ago
2008
In this paper we present an innovative haptic device that combines the electro-tactile stimulation with the force and visual feedbacks in order to improve the perception of a virtu...
193
click to vote
JPDC
2008
15 years 6 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
170
click to vote
JSAC
2008
15 years 6 months ago
2008
Abstract--We address several inter-related aspects of underwater network design within the context of a cross-layer approach. We first highlight the impact of key characteristics o...
156
click to vote
JIPS
2006
15 years 6 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...