1837 search results - page 140 / 368 » Abstraction and the C Machine Model |
210
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
152
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
215
click to vote
ML
2012
ACM
14 years 2 months ago
2012
ACM
Dependency networks approximate a joint probability distribution over multiple random variables as a product of conditional distributions. Relational Dependency Networks (RDNs) are...
203
click to vote
TSE
2011
15 years 1 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
159
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...