561 search results - page 25 / 113 » Alias Analysis of Executable Code |
SNPD
2008
13 years 10 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
HICSS
1996
IEEE
14 years 24 days ago
1996
IEEE
Parallel direct execution simulation is an important tool for performance and scalability analysis of large message passing parallel programs executing on top of a virtual compute...
HIPEAC
2009
Springer
14 years 15 days ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
FASE
2012
Springer
12 years 4 months ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
SIMUTOOLS
2008
13 years 10 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...