Sciweavers

4670 search results - page 202 / 934
» Testing that distributions are close
Sort
View
ICFEM
2003
Springer
15 years 11 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
ICCI
1993
15 years 10 months ago
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
Christos Bouras, Paul G. Spirakis
ACSC
2004
IEEE
15 years 10 months ago
Homeless and Home-based Lazy Release Consistency Protocols on Distributed Shared Memory
This paper describes the comparison between homeless and home-based Lazy Release Consistency (LRC) protocols which are used to implement Distributed Shared Memory (DSM) in cluster...
Byung-Hyun Yu, Zhiyi Huang, Stephen Cranefield, Ma...
LREC
2008
84views Education» more  LREC 2008»
15 years 8 months ago
Using the Complexity of the Distribution of Lexical Elements as a Feature in Authorship Attribution
Traditional Authorship Attribution models extract normalized counts of lexical elements such as nouns, common words and punctuation and use these normalized counts or ratios as fe...
Leanne Spracklin, Diana Inkpen, Amiya Nayak
IWEC
2007
15 years 8 months ago
A Survey on Projector-Based PC Clustered Distributed-Rendering Large Screen Displays and Techniques
Large screen display systems are common display systems nowadays. Especially projector-based PC cluster large screen display systems share most of large screen display system marke...
Munjae Song, Seongwon Park