6274 search results - page 180 / 1255 » Proofs, Programs, Processes |
173
click to vote
ICSM
1994
IEEE
15 years 10 months ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
192
click to vote
CSMR
2007
IEEE
16 years 23 days ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
166
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
210
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
159
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
The Compaan compiler automatically derives a Process Network (PN) description from an application written in Matlab. The basic element of a PN is a Producer/Consumer (P/C) pair. F...