Sciweavers

7103 search results - page 820 / 1421
» Program Generation and Components
Sort
View
WETICE
1999
IEEE
15 years 11 months ago
Static Analysis of Binary Code to Isolate Malicious Behaviors
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
J. Bergeron, Mourad Debbabi, M. M. Erhioui, B&eacu...
ISER
1999
Springer
147views Robotics» more  ISER 1999»
15 years 11 months ago
Experimental Validation of Physics-Based Planning and Control Algorithms for Planetary Robotic Rovers
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
Karl Iagnemma, Robert Burn, Eric Wilhelm, Steven D...
SAFECOMP
1999
Springer
15 years 11 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
IPPS
1996
IEEE
15 years 11 months ago
A TeraFLOP Supercomputer in 1996: The ASCI TFLOP System
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...
Timothy G. Mattson, David Scott, Stephen R. Wheat
CSCW
1996
ACM
15 years 11 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...