558 search results - page 84 / 112 » Compiling Resources in a Linear Logic Programming Language |
94
Voted
ICFP
2007
ACM
16 years 15 days ago
2007
ACM
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution o...
86
Voted
ACL
2004
15 years 1 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
99
Voted
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
100
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
126
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...