1693 search results - page 337 / 339 » Pattern-Recognition: a Foundational Approach |
146
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
178
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Program analysis and veriļ¬cation tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
148
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
194
Voted
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...
233
Voted
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...