12697 search results - page 295 / 2540 » Call for Papers |
151
Voted
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
We are building a home, called the Aware Home, to create a living laboratory for research in ubiquitous computing for everyday activities. This paper introduces the Aware Home proj...
161
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- Two-dimensional (2-D) discrete systems with periodic coefficients are considered for stability. These systems are called periodically shift variant (PSV) digital filters...
166
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
170
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
158
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fast remote procedure call (RPC) is a major concern for distributed systems. Many studies aimed at efficient RPC consist of either new implementations of the RPC paradigm or manua...