1088 search results - page 42 / 218 » Tools for support of automata-based programming |
TOOLS
2010
IEEE
14 years 7 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
100
click to vote
ECTEL
2009
Springer
14 years 7 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...
ENTCS
2006
14 years 9 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
BMCBI
2008
14 years 9 months ago
2008
Background: Current sequencing technologies give access to sequence information for genomes and metagenomes at a tremendous speed. Subsequent data processing is mainly performed b...