1855 search results - page 75 / 371 » Composing model programs for analysis |
125
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
180
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
153
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
136
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
111
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...