1663 search results - page 140 / 333 » Validation and Verification of Simulation Models |
114
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
WSC
2004
15 years 5 months ago
2004
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
142
Voted
DATE
2010
IEEE
15 years 18 days ago
2010
IEEE
Probabilistic CMOS is considered a promising technology for future generations of computing devices. By embracing possibly incorrect calculations, the technology makes it possible ...
133
click to vote
ACCESSNETS
2008
Springer
15 years 10 months ago
2008
Springer
An indoor power line is one of the most attractive media for in-home networks. However, there are many technical problems for achieving in-home power line communication (PLC) with ...
136
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
— Since the advent of distributed computer systems an active field of research has been the investigation of scheduling strategies for parallel applications. The common approach...