6274 search results - page 196 / 1255 » Proofs, Programs, Processes |
173
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
199
click to vote
HPDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
185
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
290
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
155
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...