2632 search results - page 385 / 527 » Alternating Timed Automata |
124
click to vote
ISCC
2005
IEEE
15 years 7 months ago
2005
IEEE
We revisit the question of how much buffer an IP router should allocate for its Droptail FIFO link. For a long time, setting the buffer size to the bitrate-delay product has been ...
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
126
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
108
Voted
MSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Non-volatile storage technologies such as flash memory, Magnetic RAM (MRAM), and MEMS-based storage are emerging as serious alternatives to disk drives. Among these, MEMS storage...
111
click to vote
MINENET
2005
ACM
15 years 7 months ago
2005
ACM
An accurate mapping of traffic to applications is important for a broad range of network management and measurement tasks. Internet applications have traditionally been identifi...