4722 search results - page 579 / 945 » Encoding Program Executions |
128
click to vote
ICLP
1990
Springer
15 years 8 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
156
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
139
click to vote
STACS
1991
Springer
15 years 8 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
136
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
127
click to vote
WSC
2008
15 years 6 months ago
2008
The Monte Carlo and discrete-event simulation code associated with the Simulation 101 pre-conference workshop (offered at the 2006, 2007, and 2008 Winter Simulation Conferences) i...