Sciweavers

3639 search results - page 339 / 728
» Experiments on IPv6 Testing
Sort
View
175
Voted
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 7 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
120
Voted
UIST
1997
ACM
15 years 7 months ago
Pen-Based Interaction Techniques for Organizing Material on an Electronic Whiteboard
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
Thomas P. Moran, Patrick Chiu, William van Melle
169
Voted
EPS
1997
Springer
15 years 7 months ago
Investigating Parallel Genetic Algorithms on Job Shop Scheduling Problems
This paper describes a GA for job shop scheduling problems. Using the Giffler and Thompson algorithm, we created two new operators, THX crossover and mutation, which better trans...
Shyh-Chang Lin, Erik D. Goodman, William F. Punch ...
129
Voted
SEE
1997
Springer
15 years 7 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
118
Voted
ICPP
1993
IEEE
15 years 7 months ago
Automatic Parallelization Techniques for the EM-4
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
Lubomir Bic, Mayez A. Al-Mouhamed