Sciweavers

3013 search results - page 202 / 603
» Context-Oriented Domain Analysis
Sort
View
CAV
2008
Springer
160views Hardware» more  CAV 2008»
15 years 8 months ago
Scalable Shape Analysis for Systems Code
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano...
ICPR
2002
IEEE
16 years 7 months ago
Spatial Texture Analysis: A Comparative Study
Image texture analysis has received a considerable amount of attention over the last few years as it forms the basis of most object recognition methods. It has been suggested by a...
Maneesha Singh, Sameer Singh
DAC
2008
ACM
16 years 7 months ago
Cache modeling in probabilistic execution time analysis
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
Yun Liang, Tulika Mitra
CHI
2008
ACM
16 years 7 months ago
Integrating statistics and visualization: case studies of gaining clarity during exploratory data analysis
Although both statistical methods and visualizations have been used by network analysts, exploratory data analysis remains a challenge. We propose that a tight integration of thes...
Adam Perer, Ben Shneiderman
ICDM
2009
IEEE
168views Data Mining» more  ICDM 2009»
16 years 1 months ago
Bi-relational Network Analysis Using a Fast Random Walk with Restart
—Identification of nodes relevant to a given node in a relational network is a basic problem in network analysis with great practical importance. Most existing network analysis ...
Jing Xia, Doina Caragea, William H. Hsu