2530 search results - page 28 / 506 » Dynamic topological logic |
112
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Network tomography is a process for inferring "internal" link-level delay and loss performance information based on end-to-end (edge) network measurements. These methods...
123
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
110
click to vote
ISLPED
1999
ACM
15 years 6 months ago
1999
ACM
This paper describes a new mixed-swing topology for dual-rail domino logic that results in a simultaneous energy and delay reduction. HSPICE simulation results for a 1-bit full ad...
125
click to vote
VSTTE
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
96
Voted
EUSFLAT
2009
14 years 11 months ago
2009
