Sciweavers

2266 search results - page 259 / 454
» Generalizing parametric timing analysis
Sort
View
ICSE
2011
IEEE-ACM
14 years 4 months ago
Inference of field initialization
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
Fausto Spoto, Michael D. Ernst
DAC
2012
ACM
13 years 3 months ago
Towards fault-tolerant embedded systems with imperfect fault detection
Many state-of-the-art approaches on fault-tolerant system design make the simplifying assumption that all faults are detected within a certain time interval. However, based on a d...
Jia Huang, Kai Huang, Andreas Raabe, Christian Buc...
DAC
2005
ACM
16 years 1 months ago
Automated nonlinear Macromodelling of output buffers for high-speed digital applications
We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
Ning Dong, Jaijeet S. Roychowdhury
93
Voted
WWW
2007
ACM
16 years 1 months ago
AutoPerf: an automated load generator and performance measurement tool for multi-tier software systems
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
Shrirang Sudhir Shirodkar, Varsha Apte
101
Voted
KDD
2009
ACM
204views Data Mining» more  KDD 2009»
16 years 1 months ago
DOULION: counting triangles in massive graphs with a coin
Counting the number of triangles in a graph is a beautiful algorithmic problem which has gained importance over the last years due to its significant role in complex network analy...
Charalampos E. Tsourakakis, U. Kang, Gary L. Mille...