741 search results - page 94 / 149 » Steps towards C C: A Language for Interactions |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
APSEC
1999
IEEE
14 years 13 days ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
RAS
2007
13 years 7 months ago
2007
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...