1071 search results - page 107 / 215 » Programming with enumerable sets of structures |
149
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
135
click to vote
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
131
click to vote
VMV
2000
15 years 4 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
137
click to vote
FUIN
2010
15 years 10 days ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
ICCAD
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...