4372 search results - page 741 / 875 » Algorithmic Theories of Everything |
223
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we examine a class of multiple-input, singleoutput (MISO) nonlinear systems of the block-oriented structure. In particular, we focus on MISO Hammerstein systems bein...
297
click to vote
ICDT
2011
ACM
14 years 10 months ago
2011
ACM
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
219
click to vote
ICUIMC
2011
ACM
14 years 10 months ago
2011
ACM
Query localization is an improved extension of on-demand routing protocols for ad hoc networks. It makes use of prior routing histories to localize the query flood to a limited re...
197
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
179
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...