1655 search results - page 267 / 331 » State, Event, Time and Diagram in System Modeling |
102
click to vote
ICCD
2008
IEEE
15 years 6 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
186
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
100
click to vote
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
103
click to vote
SIGMETRICS
2000
ACM
14 years 9 months ago
2000
ACM
Hot spots are a major obstacle to achieving scalability in the Internet. At the application layer, hot spots are usually caused by either (a) high demand for some data or (b) high...