2218 search results - page 216 / 444 » Testing Expressibility Is Hard |
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
WETICE
1998
IEEE
14 years 3 months ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
EKAW
2006
Springer
14 years 2 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
CSCW
2008
ACM
14 years 16 days ago
2008
ACM
There is a growing interest in applying market mechanisms to tackle everyday communication problems such as communication interruptions and communication overload. Prior analytic ...
ECOOP
2008
Springer
14 years 16 days ago
2008
Springer
Nominal and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express design intent, and, when types are associa...