Sciweavers

108 search results - page 4 / 22
» Revisiting Two Classical Results on Graph Spectra
Sort
View
PLDI
2004
ACM
14 years 29 days ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
ADBIS
2004
Springer
115views Database» more  ADBIS 2004»
14 years 29 days ago
The User as Navigator
The old idea of navigation in a database is revisited with two essential changes: we address Web users rather than programmers and the navigation is accomplished as a visual metaph...
Mariusz Trzaska, Kazimierz Subieta
ICDT
2005
ACM
125views Database» more  ICDT 2005»
14 years 1 months ago
PTIME Queries Revisited
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
Alan Nash, Jeffrey B. Remmel, Victor Vianu
CEC
2008
IEEE
14 years 2 months ago
A new meta-method for graph partitioning
— In this paper, a new meta-method based on the physical nuclear process is presented. This meta-method called Fusion-Fission is applied to the two different class of graph parti...
Charles-Edmond Bichot
CORR
2010
Springer
160views Education» more  CORR 2010»
13 years 7 months ago
New Results on Quantum Property Testing
We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...