5536 search results - page 103 / 1108 » Programming Languages for Distributed Applications |
173
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
115
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
140
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
163
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
106
Voted
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...