3820 search results - page 140 / 764 » Bounded Model Debugging |
104
Voted
SIGECOM
2006
ACM
15 years 8 months ago
2006
ACM
While traditional mechanism design typically assumes isomorphism between the agents’ type- and action spaces, in many situations the agents face strict restrictions on their act...
113
Voted
FDTC
2006
Springer
15 years 6 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
132
Voted
DAC
1995
ACM
15 years 6 months ago
1995
ACM
We study the minimum-costbounded-skewrouting tree (BST) problem under the linear delay model. This problem captures several engineering tradeoffs in the design of routing topologi...
117
Voted
FORTE
2001
15 years 4 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
140
Voted
TMI
2008
15 years 2 months ago
2008
Abstract--Voxel-based reconstructions in diffuse optical tomography (DOT) using a quadratic regularization functional tend to produce very smooth images due to the attenuation of h...