645 search results - page 51 / 129 » concurrency 2007 |
102
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
DAMON
2007
Springer
15 years 6 months ago
2007
Springer
Chip multiprocessors (CMPs) present new opportunities for improving database performance on large queries. Because CMPs often share execution, cache, or bandwidth resources among ...
118
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
74
Voted
NAACL
1994
15 years 1 months ago
1994
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...
112
click to vote
ACTA
2005
15 years 12 days ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...