4067 search results - page 37 / 814 » Programs for Applying Symmetries |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...
CONSTRAINTS
2007
13 years 8 months ago
2007
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we investigate the performance of several existing structural decomposition methods on fully interlocked Crossword Puzzle Problems (CPPs) and draw directio...
SEW
2003
IEEE
14 years 1 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...