6960 search results - page 900 / 1392 » Continuity Analysis of Programs |
175
click to vote
NAR
2006
15 years 6 months ago
2006
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
138
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
190
Voted
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
188
click to vote
WCET
2010
15 years 4 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
224
click to vote
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Successful self-regulated learning in a personalized learning environment (PLE) requires self-monitoring of the learner and reflection of learning behaviour. We introduce a tool ca...