Sciweavers

2864 search results - page 425 / 573
» Coordination of Many Agents
Sort
View
ESOP
2009
Springer
16 years 1 months ago
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
Caitlin Sadowski, Stephen N. Freund, Cormac Flanag...
CSE
2009
IEEE
16 years 1 months ago
A Network-Aware Distributed Membership Protocol for Collaborative Defense
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...
David Zage, Carl Livadas, Eve M. Schooler
IV
2009
IEEE
173views Visualization» more  IV 2009»
16 years 1 months ago
MostVis: An Interactive Visualization Supporting Automotive Engineers in MOST Catalog Exploration
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...
Michael Sedlmair, Christian Bernhold, Daniel Herrs...
GROUP
2009
ACM
16 years 1 months ago
Exploring the use of Wikis for information sharing in interdisciplinary design
Interdisciplinary design has created challenges in design collaboration due to the difficulty in communicating and coordinating across disciplines. Many tools have been developed ...
Ammy Jiranida Phuwanartnurak
IV
2008
IEEE
94views Visualization» more  IV 2008»
16 years 26 days ago
Visualizing Statistical Properties of Smoothly Brushed Data Subsets
In many application fields, the statistical properties of data sets are of great interest for data analysts. Since local variations can occur especially in large data sets, it is...
Andrea Unger, Philipp Muigg, Helmut Doleisch, Heid...