Sciweavers

395 search results - page 40 / 79
» A Tool for Visual Understanding of Source Code Dependencies
Sort
View
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
14 years 5 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
14 years 4 months ago
A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...
Momchil Milev, Rod Burt
ICSM
1999
IEEE
14 years 3 months ago
Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
Spiros Mancoridis, Brian S. Mitchell, Yih-Farn Che...
EDM
2008
141views Data Mining» more  EDM 2008»
14 years 11 days ago
An Open Repository and analysis tools for fine-grained, longitudinal learner data
We introduce an open data repository and set of associated visualization and analysis tools. The Pittsburgh Science of Learning Center's "DataShop" has data from tho...
Kenneth R. Koedinger, Kyle Cunningham, Alida Skogs...
INFSOF
2010
113views more  INFSOF 2010»
13 years 9 months ago
Package Fingerprints: A visual summary of package interface usage
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
Hani Abdeen, Stéphane Ducasse, Damien Polle...