Sciweavers

2662 search results - page 222 / 533
» Tools Demonstrations
Sort
View
PODC
2003
ACM
15 years 11 months ago
Automatic discovery of mutual exclusion algorithms
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
Yoah Bar-David, Gadi Taubenfeld
DSVIS
2003
Springer
15 years 11 months ago
Architectures for Widget-Level Plasticity
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
Baha Jabarin, T. C. Nicholas Graham
ITNG
2010
IEEE
15 years 11 months ago
Architectural, Technological and Methodological Aspects Involved in Design and Engineering a Service-Oriented Geographic Intelli
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...
DATE
2002
IEEE
84views Hardware» more  DATE 2002»
15 years 11 months ago
Performance-Area Trade-Off of Address Generators for Address Decoder-Decoupled Memory
Multimedia applications are characterized by a large number of data accesses and complex array index manipulations. The built-in address decoder in the RAM memory model commonly u...
Sambuddhi Hettiaratchi, Peter Y. K. Cheung, Thomas...
IV
2002
IEEE
162views Visualization» more  IV 2002»
15 years 11 months ago
Infoticles: Information Modeling in Immersive Environments
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
Andrew Vande Moere