2470 search results - page 73 / 494 » Liveness-Preserving Simulation Relations |
IWSOC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
101
click to vote
ATS
2000
IEEE
15 years 5 months ago
2000
IEEE
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...
108
Voted
HAPTICS
2002
IEEE
15 years 5 months ago
2002
IEEE
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Buhrman, Cleve and Wigderson gave a general communication protocol for block-composed functions f(g1(x1 , y1 ), · · · , gn(xn , yn )) by simulating a decision tree com...
90
Voted
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...