10707 search results - page 1951 / 2142 » Designing executable abstractions |
277
click to vote
SIGOPS
1998
15 years 6 months ago
1998
Abstract: The undergraduate operating systems course can provide students with a valuable introduction to empirical testing and experimentation. This paper announces the availabili...
167
click to vote
SIAMCO
2002
15 years 6 months ago
2002
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...
182
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Abstract-This paper discusses the design and evaluation of CATNIP, a ContextAware Transport/Network Internet Protocol for the Web. This integrated protocol uses application-layer k...
219
click to vote
TNN
1998
15 years 6 months ago
1998
Abstract—A new modular recurrent neural network (MRNN)based speech-recognition method that can recognize the entire vocabulary of 1280 highly confusable Mandarin syllables is pro...
188
click to vote
TCAD
2002
15 years 6 months ago
2002
Abstract--This paper investigates the application of simultaneous retiming and clock scheduling for optimizing synchronous circuits under setup and hold constraints. Two optimizati...