6201 search results - page 1033 / 1241 » Implementation of Axiomatic Language |
177
click to vote
ACMSE
2004
ACM
16 years 6 hour ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
208
click to vote
AOSD
2004
ACM
16 years 6 hour ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
174
click to vote
AOSD
2004
ACM
16 years 6 hour ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
170
click to vote
APLAS
2004
ACM
16 years 6 hour ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
153
click to vote
CF
2004
ACM
16 years 6 hour ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...