266 search results - page 50 / 54 » On asymmetric progress conditions |
85
Voted
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
AH
2004
Springer
15 years 3 months ago
2004
Springer
Web-based parameterized quizzes provide teachers and students with several advantages as the technology for self-assessment. However, the effect of these advantages is strongly red...
ACSC
2002
IEEE
15 years 2 months ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
102
click to vote
ICNP
2000
IEEE
15 years 2 months ago
2000
IEEE
Images account for a significant and growing fraction of Web downloads. The traditional approach to transporting images uses TCP, which provides a generic reliable, in-order eam ...
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...