Sciweavers

9166 search results - page 28 / 1834
» A framework for comparing models of computation
Sort
View
SIGSOFT
2007
ACM
14 years 9 months ago
A framework for characterization and analysis of software system scalability
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
Leticia Duboc, David S. Rosenblum, Tony Wicks
MMM
2007
Springer
198views Multimedia» more  MMM 2007»
14 years 3 months ago
A Shape Distribution for Comparing 3D Models
This study developed a new shape-based 3D model descriptor based on the D2 shape descriptor developed by Osada, et al of Princeton University. Shape descriptors can be used to meas...
Levi C. Monteverde, Conrado R. Ruiz Jr., Zhiyong H...
CADE
2004
Springer
14 years 9 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
VIS
2007
IEEE
152views Visualization» more  VIS 2007»
14 years 10 months ago
An Effective Illustrative Visualization Framework Based on Photic Extremum Lines (PELs)
Conveying shape using feature lines is an important visualization tool in visual computing. The existing feature lines (e.g., ridges, valleys, silhouettes, suggestive contours, etc...
Xuexiang Xie, Ying He, Feng Tian, Hock-Soon Sea...
TCAD
2010
150views more  TCAD 2010»
13 years 3 months ago
Voltage and Temperature Aware Statistical Leakage Analysis Framework Using Artificial Neural Networks
Artificial neural networks (ANNs) have shown great promise in modeling circuit parameters for computer aided design applications. Leakage currents, which depend on process paramete...
Janakiraman Viraraghavan, Bharadwaj Amrutur, V. Vi...