551 search results - page 105 / 111 » Realizability of Real-Time Logics |
144
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
Realizing scalable cache coherence in the many-core era comes with a whole new set of constraints and opportunities. It is widely believed that multi-hop, unordered on-chip networ...
164
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
151
click to vote
LICS
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
152
click to vote
CCA
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
162
click to vote
CDC
2008
IEEE
16 years 12 days ago
2008
IEEE
— We investigate the effect of packet delays and packet drops on networked control systems. First we consider the problem of where to locate a controller or state estimator in a...