Sciweavers

9018 search results - page 1712 / 1804
» 3D-Brain Model Software
Sort
View
111
Voted
TVCG
2010
217views more  TVCG 2010»
14 years 11 months ago
How Information Visualization Novices Construct Visualizations
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
Lars Grammel, Melanie Tory, Margaret-Anne D. Store...
105
Voted
BPM
2010
Springer
147views Business» more  BPM 2010»
14 years 11 months ago
From People to Services to UI: Distributed Orchestration of User Interfaces
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
Florian Daniel, Stefano Soi, Stefano Tranquillini,...
IPPS
2010
IEEE
14 years 11 months ago
BlobSeer: Bringing high throughput under heavy concurrency to Hadoop Map-Reduce applications
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
Bogdan Nicolae, Diana Moise, Gabriel Antoniu, Luc ...
172
Voted
ISOLA
2010
Springer
14 years 11 months ago
Context-Sensitivity in IPET for Measurement-Based Timing Analysis
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
Michael Zolda, Sven Bünte, Raimund Kirner
110
Voted
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 8 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
« Prev « First page 1712 / 1804 Last » Next »