2779 search results - page 201 / 556 » Modelling Immunological Memory |
147
click to vote
AUTOMATICA
2010
15 years 2 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
323
click to vote
EGPGV
2011
Springer
14 years 7 months ago
2011
Springer
We present a state of the art read-only distributed shared memory (DSM) ray tracer capable of fully utilizing modern cluster hardware to render massive out-of-core polygonal model...
114
Voted
SIGMETRICS
1995
ACM
15 years 7 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
140
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
127
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...