1320 search results - page 133 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
129
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
141
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
214
Voted
CP
2009
Springer
16 years 4 months ago
2009
Springer
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...
272
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
112
Voted
TC
1998
15 years 3 months ago
1998
—When parallel programs are executed on multiprocessors with private caches, a set of data may be repeatedly used and modified by different threads. Such data sharing can often r...