Sciweavers

1926 search results - page 285 / 386
» Hierarchical Peer-to-Peer Systems
Sort
View
111
Voted
ICCS
1997
Springer
15 years 4 months ago
The CG Mars Lander
The name of the system is \THE CG MARS LANDER", which stands forType Hierarchy Enhanced CGMatching And Retrieval SystemLinear Associative N-tuple Deductive Embedded Representa...
Gil Fuchs, Robert Levinson
ICS
1992
Tsinghua U.
15 years 4 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
94
Voted
UIST
1994
ACM
15 years 4 months ago
An Architecture for Transforming Graphical Interfaces
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
W. Keith Edwards, Elizabeth D. Mynatt
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
15 years 4 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
DFG
2004
Springer
15 years 4 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...