Sciweavers

3330 search results - page 512 / 666
» software 2010
Sort
View
FOSSACS
2010
Springer
15 years 11 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
EDBT
2010
ACM
155views Database» more  EDBT 2010»
15 years 8 months ago
Suffix tree construction algorithms on modern hardware
Suffix trees are indexing structures that enhance the performance of numerous string processing algorithms. In this paper, we propose cache-conscious suffix tree construction algo...
Dimitris Tsirogiannis, Nick Koudas
SIGCOMM
2010
ACM
15 years 5 months ago
DONAR: decentralized server selection for cloud services
Geo-replicated services need an effective way to direct client requests to a particular location, based on performance, load, and cost. This paper presents DONAR, a distributed sy...
Patrick Wendell, Joe Wenjie Jiang, Michael J. Free...
152
Voted
SIGMOD
2010
ACM
207views Database» more  SIGMOD 2010»
15 years 5 months ago
iTuned: a tool for configuring and visualizing database parameters
iTuned is a tool that takes a SQL workload as input and recommends good settings for database configuration parameters such as buffer pool sizes, multi-programming level, and numb...
Vamsidhar Thummala, Shivnath Babu
OOPSLA
2010
Springer
15 years 3 months ago
A recommender for conflict resolution support in optimistic model versioning
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
Petra Brosch, Martina Seidl, Gerti Kappel