1342 search results - page 197 / 269 » Ordered Programs as Abductive Systems |
CHES
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Irregular and sparse scientific computing programs frequently experience performance losses due to inefficient use of the memory system in most machines. Previous work has shown t...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
AOSD
2007
ACM
14 years 24 days ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...