Sciweavers

2860 search results - page 111 / 572
» The Greenfoot Programming Environment
Sort
View
ICSM
1994
IEEE
15 years 11 months ago
Domain-Retargetable Reverse Engineering II: Personalized User Interfaces
The user interface is an integral part of any application. This is especially true for reverse engineering environments, since the understanding process depends both on the user&#...
Scott R. Tilley
ENTCS
2008
94views more  ENTCS 2008»
15 years 7 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
SIGSOFT
2010
ACM
15 years 4 months ago
Using dynamic analysis to create trace-focused user interfaces for IDEs
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
Del Myers, Margaret-Anne D. Storey
ADAEUROPE
2008
Springer
16 years 1 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
ISER
2004
Springer
112views Robotics» more  ISER 2004»
16 years 6 days ago
Toward Reliable Off Road Autonomous Vehicles Operating in Challenging Environments
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...
Alonzo Kelly, Omead Amidi, Mike Bode, Michael Happ...