4000 search results - page 401 / 800 » Simulation down under |
145
click to vote
PATMOS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...
180
click to vote
TCC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
183
click to vote
CA
2003
IEEE
16 years 5 days ago
2003
IEEE
: We present a novel approach for modeling hair using level-of-detail representations. The set of representations include individual strands, hair clusters, and hair strips. They a...
193
click to vote
CSB
2003
IEEE
16 years 5 days ago
2003
IEEE
We propose a statistical method for estimating a gene network based on Bayesian networks from microarray gene expression data together with biological knowledge including protein-...
158
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...