Sciweavers

7766 search results - page 1132 / 1554
» Testing Nondeterminate Systems
Sort
View
138
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
ROBOCUP
1999
Springer
101views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Design and Construction of a Soccer Player Robot ARVAND
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...
LCN
1998
IEEE
15 years 8 months ago
High Performance Integrated Network Communications Architecture (INCA)
Current communication subsystem mechanisms within workstation and PC class computers are limiting network communications throughput to a small percentage of the present network da...
Klaus Schug, Anura P. Jayasumana, Prasanth Gopalak...
135
Voted
CHI
1998
ACM
15 years 8 months ago
Effects of Awareness Support on Groupware Usability
Collaboration in current real-time groupware systems is often an awkward and clumsy process. We hypothesize that better support for workspace awareness can improve the usability o...
Carl Gutwin, Saul Greenberg
131
Voted
EUROPAR
1998
Springer
15 years 8 months ago
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
Neophytos Neophytou, Paraskevas Evripidou
« Prev « First page 1132 / 1554 Last » Next »