4722 search results - page 845 / 945 » Encoding Program Executions |
112
click to vote
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
138
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
102
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
118
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...