5838 search results - page 411 / 1168 » A File System for System Programming in Ubiquitous Computing |
157
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
144
click to vote
ICDE
2007
IEEE
16 years 14 days ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
182
Voted
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
146
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
197
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...