5235 search results - page 318 / 1047 » Analysis of Multithreaded Programs |
145
click to vote
ITICSE
2004
ACM
16 years 4 days ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
149
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
173
click to vote
SIAMJO
2008
15 years 6 months ago
2008
It is known that the Karush-Kuhn-Tucker (KKT) conditions of semidefinite programming can be reformulated as a nonsmooth system via the metric projector over the cone of symmetric ...
190
click to vote
JCS
2007
15 years 6 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
524
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...