Sciweavers

1401 search results - page 6 / 281
» Tool Integration for Reasoned Programming
Sort
View
APSEC
2004
IEEE
15 years 3 months ago
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashi...
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 4 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
JHSN
2006
67views more  JHSN 2006»
14 years 11 months ago
SPEE: A Secure Program Execution Environment tool using code integrity checking
Olga Gelbart, Bhagirath Narahari, Rahul Simha
IJUFKS
1998
31views more  IJUFKS 1998»
14 years 11 months ago
ICOT: An Integrated C-Object Tool for Knowledge-Based Programming
Hyung Jeong Yang, Jae Dong Yang, Yeongho Kim
FLAIRS
2004
15 years 1 months ago
Case-Based Reasoning in Support of Intelligence Analysis
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
Elizabeth T. Whitaker, Robert L. Simpson Jr.