1016 search results - page 24 / 204 » Automatic Analysis of Programming Assignments |
96
Voted
EUROPAR
2000
Springer
15 years 4 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
111
Voted
VMV
2000
15 years 2 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
93
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
77
Voted
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
112
Voted
CCS
2011
ACM
14 years 24 days ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...