4520 search results - page 238 / 904 » Algebraic Techniques for Timed Systems |
183
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— While structured P2P systems (such as DHTs) are often regarded as an improvement over unstructured P2P systems (such as super-peer networks) in terms of routing efficiency, it...
215
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
183
click to vote
CIDR
2009
15 years 8 months ago
2009
Database management systems (DBMSs) have largely ignored the task of managing the energy consumed during query processing. Both economical and environmental factors now require th...
173
click to vote
PVLDB
2010
15 years 5 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
698
click to vote
Presentation
In this paper, we propose a personal navigation system for tourism called P-Tour. When a tourist specifies multiple destinations with relative importance and restrictions on arriva...