1456 search results - page 62 / 292 » Two Techniques to Improve Finite Model Search |
CLUSTER
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we analyze the I/O access patterns of a widely-used biological sequence search tool and implement two variations that employ parallel-I/O for data access based on PV...
AUTOMATICA
2007
13 years 8 months ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
CLEF
2010
Springer
13 years 9 months ago
2010
Springer
We present our experiments and results for the DCU CNGL participation in the CLEF-IP 2010 Candidate Patent Search Task. Our work applied standard information retrieval (IR) techniq...