4722 search results - page 574 / 945 » Encoding Program Executions |
188
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
149
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
129
Voted
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
144
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
156
click to vote
BCB
2010
14 years 11 months ago
2010
Many biologically motivated problems are expressed as dynamic programming recurrences and are difficult to parallelize due to the intrinsic data dependencies in their algorithms. ...