2850 search results - page 461 / 570 » On Timed Models and Full Abstraction |
115
click to vote
ISPASS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
191
Voted
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
133
click to vote
IWCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we address the problem of computing a canonical representation of an n-dimensional combinatorial map. To do so, we define two combinatorial map signatures...
133
click to vote
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
110
click to vote
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— We present a simple silicon circuit for modelling voltagedependent ion channels found within neural cells, capturing both the gating particle’s sigmoidal activation (...