2673 search results - page 136 / 535 » Guided Static Analysis |
134
click to vote
JGS
2000
15 years 4 months ago
2000
GIS and spatial analysis is suited mainly for static pictures of the landscape, but many of the processes that need exploring are dynamic in nature. Dynamic processes can be comple...
145
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
113
Voted
TVLSI
2002
15 years 3 months ago
2002
This paper compares four previously published static dual-edge-triggered flip-flops (DETFFs) with a proposed design for their performance, power dissipation, and low-voltage low-po...
115
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Studies of interactive systems in museums have raised important design considerations, but so far have failed to address sufficiently the particularities of family interaction and...
131
click to vote
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Information analysis often involves decomposing data into sub-groups to allow for comparison and identification of relationships. Breakdown Visualization provides a mechanism to s...