558 search results - page 76 / 112 » Compiling Resources in a Linear Logic Programming Language |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
ITSSA
2006
13 years 10 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
ICSOC
2009
Springer
13 years 8 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...
ASPLOS
1991
ACM
14 years 1 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...