1675 search results - page 170 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
136
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
130
click to vote
SIGUCCS
2009
ACM
15 years 8 months ago
2009
ACM
Frontline support and maintenance for desktop hardware and software systems at Princeton University has been uniquely structured, allowing the benefits of centralization and the f...
153
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
107
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
138
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...