14244 search results - page 2641 / 2849 » Modeling Program Predictability |
106
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
115
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
100
click to vote
CHI
2001
ACM
16 years 2 months ago
2001
ACM
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...
120
click to vote
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
110
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...