8555 search results - page 1428 / 1711 » Property Based Coordination |
174
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
182
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
189
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
A core mapping method for reconfigurable network-on-chip (NoC) architectures is presented in this paper. In most of the existing methods, mapping is carried out based on the traff...
188
click to vote
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
A PUF or Physical Unclonable Function is a function that is embodied in a physical structure that consists of many random uncontrollable components which originate from process var...
167
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...