3616 search results - page 34 / 724 » Conditional Memory Ordering |
126
Voted
IANDC
2007
15 years 2 months ago
2007
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
119
click to vote
SIAMNUM
2011
14 years 9 months ago
2011
The coupled problem with Stokes flow in one subdomain and a Darcy flow model in a second subdomain is studied in this paper. Both flow problems are treated as first-order syste...
112
click to vote
SIAMCO
2008
15 years 2 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
123
Voted
SASP
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we present Parade, a novel and flexible parallel architecture for the deinterleaving of combined pulsetrains. This is a commonly performed task in various areas ...
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...