9989 search results - page 1791 / 1998 » A CLP Approach to Modelling Systems |
156
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
176
Voted
PVLDB
2010
15 years 4 months ago
2010
In this paper, we describe a main memory hybrid database system called HYRISE, which automatically partitions tables into vertical partitions of varying widths depending on how th...
138
Voted
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Distance aware tag clouds add visualization of relations between terms to standard tag clouds. In addition to term importance (which is usually depicted through font size) the p...
158
Voted
TVCG
2010
15 years 4 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
210
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Although static ranked lists remain the dominant Web search interface, they can limit the ability of Web searchers to find desired information when it is buried deep in the collect...