Sciweavers

1401 search results - page 6 / 281
» Tool Integration for Reasoned Programming
Sort
View
APSEC
2004
IEEE
13 years 11 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»
13 years 12 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»
13 years 7 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»
13 years 7 months ago
ICOT: An Integrated C-Object Tool for Knowledge-Based Programming
Hyung Jeong Yang, Jae Dong Yang, Yeongho Kim
FLAIRS
2004
13 years 9 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.