4074 search results - page 387 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
252
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
211
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
196
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
190
click to vote
MOBICOM
2003
ACM
16 years 1 days ago
2003
ACM
One of the most important methods for evaluating the characteristics of ad hoc networking protocols is through the use of simulation. Simulation provides researchers with a number...
181
click to vote
WSC
2007
15 years 9 months ago
2007
Historical data suggest that returns of stocks and indices are not distributed independent and identically Normal, as is commonly assumed. Instead, returns of financial assets are...