Sciweavers

2662 search results - page 222 / 533
» Tools Demonstrations
Sort
View
PODC
2003
ACM
16 years 13 days 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
16 years 13 days 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
16 years 9 days 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»
16 years 5 days 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»
16 years 3 days 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