898 search results - page 108 / 180 » Comparing high-level modeling approaches for embedded system... |
157
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
146
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
163
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
199
click to vote
SIMULATION
2011
15 years 1 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
140
click to vote
MASCOTS
2004
15 years 7 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...