4820 search results - page 155 / 964 » Implementing Signatures for C |
128
click to vote
SYSTOR
2010
ACM
15 years 7 months ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...
135
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
144
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
131
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
133
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
System design based on static task graphs does not match well with modern consumer electronic devices with dynamic stream processing applications. We propose the TTL API for task ...