Sciweavers

512 search results - page 52 / 103
» Modules as Objects in Newspeak
Sort
View
AADEBUG
1997
Springer
15 years 8 months ago
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
Richard W. M. Jones, Paul H. J. Kelly
99
Voted
ACL
1997
15 years 5 months ago
An Algorithm for Generating Referential Descriptions with Flexible Interfaces
Most algorithms dedicated to the generation of referential descriptions widely suffer from a fundamental problem: they make too strong assumptions about adjacent processing compon...
Helmut Horacek
125
Voted
SSR
1997
93views more  SSR 1997»
15 years 5 months ago
Using Content-Derived Names for Configuration Management
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
Jeffrey K. Hollingsworth, Ethan L. Miller
AROBOTS
2008
104views more  AROBOTS 2008»
15 years 4 months ago
Modeling dynamic scenarios for local sensor-based motion planning
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
Luis Montesano, Javier Minguez, Luis Montano
CERA
2004
73views more  CERA 2004»
15 years 3 months ago
Manipulating Geometry in a STEP DB from Commercial CAD Systems
: It is difficult to access and share design data among heterogeneous CAD systems. Usually different CAD systems exchange design data using a neutral format such as IGES or STEP. A...
Junhwan Kim, Soonhung Han