Sciweavers

1016 search results - page 128 / 204
» Automatic Analysis of Programming Assignments
Sort
View
130
Voted
ECAI
2004
Springer
15 years 8 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
101
Voted
AGP
2003
IEEE
15 years 8 months ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
PADO
2001
Springer
15 years 7 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
126
Voted
ANSS
2004
IEEE
15 years 6 months ago
A Self Manageable Infrastructure for Supporting Web-based Simulations
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
Yingping Huang, Xiaorong Xiang, Gregory R. Madey
127
Voted
BMCBI
2005
145views more  BMCBI 2005»
15 years 2 months ago
CAGER: classification analysis of gene expression regulation using multiple information sources
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
Jianhua Ruan, Weixiong Zhang