4211 search results - page 608 / 843 » Types as Abstract Interpretations |
137
click to vote
SCL
2008
15 years 6 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
147
click to vote
PUC
2006
15 years 6 months ago
2006
We describe a middleware framework for the adaptive delivery of context information to contextaware applications. The framework abstracts the applications from the sensors that pro...
177
Voted
AIR
2005
15 years 6 months ago
2005
Abstract. We present an overview of different theories of explanation from the philosophy and cognitive science communities. Based on these theories, as well as models of explanati...
149
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
137
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--In this paper, we present a postsilicon-tuning technique to improve parametric yield of SRAM array using body bias (BB). First, we show that, although parametric failures...