526 search results - page 34 / 106 » Towards the Verifying Compiler |
CODES
1994
IEEE
15 years 1 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
ICAD
2004
14 years 11 months ago
2004
The creation of audio interfaces is currently hampered by the difficulty of designing sounds for them. This paper presents a novel system for generating and manipulating non-speec...
IJCAI
1989
14 years 11 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
109
click to vote
SERP
2010
14 years 7 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
WWW
2011
ACM
14 years 4 months ago
2011
ACM
Featured articles in Wikipedia stand for high information quality, and it has been found interesting to researchers to analyze whether and how they can be distinguished from “or...