Sciweavers

21984 search results - page 80 / 4397
» C
Sort
View
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 4 months ago
Specifying Behavior in C++
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
Xiangtian Dai, Gregory D. Hager, John Peterson
ISORC
2002
IEEE
15 years 4 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...
HPCC
2009
Springer
15 years 4 months ago
C2Cfs: A Collective Caching Architecture for Distributed File Access
—In this paper we present C2Cfs - a decentralized collective caching architecture for distributed filesystems. C2Cfs diverges from the traditional client-server model and advoca...
Andrey Ermolinskiy, Renu Tewari
PLDI
1998
ACM
15 years 4 months ago
A Study of Dead Data Members in C++ Applications
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
Peter F. Sweeney, Frank Tip
AADEBUG
1997
Springer
15 years 4 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