345 search results - page 33 / 69 » Computer-Assisted Simulation Proofs |
114
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
130
click to vote
DSRT
2009
IEEE
15 years 6 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
157
click to vote
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
143
Voted
CTRSA
2008
Springer
15 years 4 months ago
2008
Springer
Oblivious transfer, first introduced by Rabin, is one of the basic building blocks of cryptographic protocols. In an oblivious transfer (or more exactly, in its 1-out-of-2 variant...
128
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
We investigate an optimal scheduling problem in a discrete-time system of L parallel queues that are served by K identical servers. This model has been widely used in studies of em...