1320 search results - page 77 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
168
click to vote
IPPS
2009
IEEE
15 years 10 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...
136
click to vote
INTERSENSE
2006
ACM
15 years 10 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
175
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
148
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
115
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...