2136 search results - page 323 / 428 » A Game-Theoretic Operational Semantics |
158
click to vote
FAST
2011
14 years 8 months ago
2011
Although Flash Memory based Solid State Drive (SSD) exhibits high performance and low power consumption, a critical concern is its limited lifespan along with the associated relia...
140
click to vote
AAAI
2011
14 years 4 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
228
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
213
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
150
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...