1320 search results - page 221 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
POPL
2011
ACM
12 years 10 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
IAAI
2001
13 years 9 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...