Sciweavers

2421 search results - page 394 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
13 years 25 days ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno
CGF
2010
119views more  CGF 2010»
13 years 10 months ago
Visual Analysis of Multi-Joint Kinematic Data
Kinematics is the analysis of motions without regarding forces or inertial effects, with the purpose of understanding joint behaviour. Kinematic data of linked joints, for example...
Peter R. Krekel, Edward R. Valstar, Jurriaan De Gr...
ICCAD
2001
IEEE
217views Hardware» more  ICCAD 2001»
14 years 7 months ago
ASF: A Practical Simulation-Based Methodology for the Synthesis of Custom Analog Circuits
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
Michael Krasnicki, Rodney Phelps, James R. Hellums...
ACIVS
2009
Springer
14 years 4 months ago
Multiple Human Tracking in High-Density Crowds
Abstract. In this paper, we present a fully automatic approach to multiple human detection and tracking in high density crowds in the presence of extreme occlusion. Human detection...
Irshad Ali, Matthew N. Dailey
KBSE
2008
IEEE
14 years 4 months ago
Reducing the Cost of Path Property Monitoring Through Sampling
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
Matthew B. Dwyer, Madeline Diep, Sebastian G. Elba...