2165 search results - page 326 / 433 » Cooperative Software Development: Concepts, Model and Tools |
171
click to vote
CGO
2010
IEEE
15 years 10 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...
137
click to vote
ISCAS
2007
IEEE
16 years 20 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
161
click to vote
IJCAI
2001
15 years 7 months ago
2001
Software design is the hardest part of creating intelligent agents. Therefore agent architectures should be optimized as design tools. This paper presents an architectural synthes...
151
click to vote
ITICSE
2005
ACM
15 years 12 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
176
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...