Sciweavers

655 search results - page 9 / 131
» On Flat Programs with Lists
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 5 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
VLC
2008
88views more  VLC 2008»
15 years 1 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
15 years 7 months ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
ICPPW
2009
IEEE
14 years 11 months ago
Characterizing the Performance of
Using Linux for high-performance applications on the compute nodes of IBM Blue Gene/P is challenging because of TLB misses and difficulties with programming the network DMA engine...
Kazutomo Yoshii, Kamil Iskra, Harish Naik, Pete Be...
JODL
2000
123views more  JODL 2000»
15 years 1 months ago
On Z39.50 wrapping and description logics
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
Yannis Velegrakis, Vassilis Christophides, Panos C...