1855 search results - page 109 / 371 » Composing model programs for analysis |
161
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
166
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
135
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
155
click to vote
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
135
click to vote
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...