303 search results - page 53 / 61 » A formal executable semantics of Verilog |
101
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
103
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
114
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
89
Voted
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
105
click to vote
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...