2867 search results - page 282 / 574 » Effectiveness of Index Expressions |
218
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
165
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
149
click to vote
ICCAD
1991
IEEE
15 years 10 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
163
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we investigate the problem of designing an input signal for a Multi-Input Multi-Output plant to minimize a control-oriented criterion. By employing Ljungâ...
135
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...