4636 search results - page 544 / 928 » Modelling and Validation with VipTool |
191
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
183
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
202
click to vote
CIAC
2006
Springer
15 years 11 months ago
2006
Springer
Virtual private network design in the hose model deals with the reservation of capacities in a weighted graph such that the terminals in this network can communicate with one anoth...
151
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
We discuss the problem of communication-aware module placement in array-like reconfigurable environments, such as the Erlangen Slot Machine (ESM). Bad placement of modules may deg...