Sciweavers

1501 search results - page 175 / 301
» New Directions on Agile Methods: A Comparative Analysis
Sort
View
FORTE
2010
15 years 7 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
ECSCW
2003
15 years 7 months ago
System Guidelines for Co-located, Collaborative Work on a Tabletop Display
Collaborative interactions with many existing digital tabletop systems lack the fluidity of collaborating around a table using traditional media. This paper presents a critical ana...
Stacey D. Scott, Karen D. Grant, Regan L. Mandryk
DATAMINE
1999
140views more  DATAMINE 1999»
15 years 6 months ago
A Scalable Parallel Algorithm for Self-Organizing Maps with Applications to Sparse Data Mining Problems
Abstract. We describe a scalable parallel implementation of the self organizing map (SOM) suitable for datamining applications involving clustering or segmentation against large da...
Richard D. Lawrence, George S. Almasi, Holly E. Ru...
VIS
2007
IEEE
123views Visualization» more  VIS 2007»
16 years 7 months ago
Topological Visualization of Brain Diffusion MRI Data
Topological methods give concise and expressive visual representations of flow fields. The present work suggests a comparable method for the visualization of human brain diffusion ...
Thomas Schultz, Holger Theisel, Hans-Peter Seide...
DATE
2009
IEEE
88views Hardware» more  DATE 2009»
16 years 1 months ago
Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling
Abstract—Complex software programs are mostly characterized by phase behavior and runtime distributions. Due to the dynamism of the two characteristics, it is not efficient to m...
Jungsoo Kim, Sungjoo Yoo, Chong-Min Kyung