4074 search results - page 347 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
160
click to vote
WSC
2000
15 years 8 months ago
2000
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...
149
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind field. The geostatistical concept of the vari...
183
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
168
click to vote
ISQED
2003
IEEE
16 years 11 hour ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
161
click to vote
ECBS
2005
IEEE
16 years 11 days ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...