6581 search results - page 1010 / 1317 » Formalizing Design Patterns |
148
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
190
click to vote
SOFTVIS
2006
ACM
16 years 20 days ago
2006
ACM
We present Clack, a graphical environment for teaching students how Internet routers work and other core networking concepts. Clack is a router written as a Java Applet, and route...
159
click to vote
DASFAA
2005
IEEE
16 years 10 days ago
2005
IEEE
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
154
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
177
click to vote
ICCAD
2005
IEEE
16 years 10 days ago
2005
IEEE
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...