266 search results - page 50 / 54 » On asymmetric progress conditions |
166
click to vote
ASPDAC
2005
ACM
15 years 11 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...
150
click to vote
AH
2004
Springer
15 years 11 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...
155
click to vote
ACSC
2002
IEEE
15 years 11 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...
182
click to vote
ICNP
2000
IEEE
15 years 10 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 ...
159
click to vote
FTRTFT
1998
Springer
15 years 10 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...