6201 search results - page 981 / 1241 » Implementation of Axiomatic Language |
173
click to vote
ISCA
2007
IEEE
16 years 28 days ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
169
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
186
click to vote
AOSD
2006
ACM
16 years 19 days ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
209
Voted
VEE
2006
ACM
16 years 18 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
161
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...