4895 search results - page 652 / 979 » Functional Quantum Programming |
168
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
160
click to vote
PEPM
2007
ACM
16 years 14 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
168
click to vote
APLAS
2006
ACM
16 years 10 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
198
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
173
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...