Sciweavers

2595 search results - page 295 / 519
» Modes in Asynchronous Systems
Sort
View
180
Voted
MM
2009
ACM
111views Multimedia» more  MM 2009»
15 years 11 months ago
Integrating corrections into digital ink playback
In this paper, we describe preliminary work on an ink editing application that allows an instructor to correct mistakes to digital ink written during a presentation that is to be ...
Richard J. Anderson, Devy Pranowo, Craig Prince, F...
FPL
2009
Springer
101views Hardware» more  FPL 2009»
15 years 11 months ago
An accelerator for K-TH nearest neighbor thinning based on the IMORC infrastructure
The creation and optimization of FPGA accelerators comprising several compute cores and memories are challenging tasks in high performance reconfigurable computing. In this paper...
Tobias Schumacher, Christian Plessl, Marco Platzne...
GD
2009
Springer
15 years 11 months ago
WiGis: A Framework for Scalable Web-Based Interactive Graph Visualizations
Traditional network visualization tools inherently suffer from scalability problems, particularly when such tools are interactive and web-based. In this paper we introduce WiGis ...
Brynjar Gretarsson, Svetlin Bostandjiev, John O'Do...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
WETICE
1998
IEEE
15 years 11 months ago
Using a Groupware Space for Distributed Requirements Engineering
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...
Daniela E. Herlea, Saul Greenberg