3820 search results - page 565 / 764 » Bounded Model Debugging |
161
click to vote
INFOCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
— We consider the problem of scheduling a sequence of packets over a linear network, where every packet has a source and a target, as well as a release time and a deadline by whi...
140
click to vote
ACNS
2005
Springer
16 years 2 days ago
2005
Springer
k-times anonymous authentication (k-TAA) schemes allow members of a group to be anonymously authenticated by application providers for a bounded number of times. k-TAA has applicat...
162
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
160
click to vote
HIPEAC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
161
click to vote
ICALP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...