151
Voted
FPGA
2010
ACM
15 years 8 months ago
2010
ACM
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...
160
click to vote
FPGA
2010
ACM
15 years 8 months ago
2010
ACM
Multi-ported memories are challenging to implement with FPGAs since the provided block RAMs typically have only two ports. We present a thorough exploration of the design space of...
114
Voted
BPM
2009
Springer
15 years 8 months ago
2009
Springer
ion of Process Models Artem Polyvyanyy, Sergy Smirnov, Mathias Weske Technischer Bericht Deckblatt Rückseite.indd 1 17.12.2008 13:26:50 Uhr
129
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
138
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...