1663 search results - page 128 / 333 » Validation and Verification of Simulation Models |
134
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
112
click to vote
NSDI
2008
15 years 6 months ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
134
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
128
click to vote
WSC
2001
15 years 5 months ago
2001
We study the stability of two queueing delay-based congestion control algorithms, the (p, 1)-proportionally fair algorithm and the global optimization algorithm. We linearize the ...
138
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
Performance evaluation is a serious challenge in designing or optimizing reconfigurable instruction set processors. The conventional approaches based on synthesis and simulations a...