Sciweavers

1396 search results - page 198 / 280
» DATES: Design Analysis Tool for Enterprise Systems
Sort
View
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
14 years 8 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
PDC
2004
ACM
14 years 1 months ago
Artful infrastructuring in two cases of community PD
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
Helena Karasti, Anna-Liisa Syrjänen
BMCBI
2010
232views more  BMCBI 2010»
13 years 7 months ago
LucidDraw: Efficiently visualizing complex biochemical networks within MATLAB
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
Sheng He, Juan Mei, Guiyang Shi, Zhengxiang Wang, ...
CDVE
2007
Springer
112views Visualization» more  CDVE 2007»
14 years 1 months ago
VICA: A Voronoi Interface for Visualizing Collaborative Annotations
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
Yue Wang, James Shearer, Kwan-Liu Ma
CHI
2002
ACM
14 years 8 months ago
Tangibly simple, architecturally complex: evaluating a tangible presentation aid
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...
Elizabeth F. Churchill, Les Nelson