2410 search results - page 324 / 482 » Multiset Ordering Constraints |
164
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
138
click to vote
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
Recent years have witnessed the emergence of shared sensor networks as integrated infrastructure for multiple applications. It is important to allocate multiple applications in a ...
145
Voted
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
SRAM cell design is driven by the need to satisfy static noise margin, write margin and read current margin (RCM) over all cells in the array in an energy-efficient manner. These ...
200
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: The secondary structure of RNA molecules is intimately related to their function and often more conserved than the sequence. Hence, the important task of searching dat...
162
click to vote
JCPHY
2011
14 years 8 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...