1404 search results - page 127 / 281 » Increasing Concurrency in Databases Using Program Analysis |
85
Voted
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
101
Voted
FGR
2004
IEEE
15 years 4 months ago
2004
IEEE
Automatic recognition by gait is subject to increasing interest and has the unique capability to recognize people at a distance when other biometrics are obscured. Its interest is...
124
Voted
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
99
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
159
Voted
CC
2008
Springer
15 years 2 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...