1379 search results - page 168 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
132
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
144
click to vote
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
110
click to vote
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
116
click to vote
WETICE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a service-oriented P2P architecture and related federated metaprogramming model to support development of highly scalable and reliable distributed collaborati...
110
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...