5439 search results - page 901 / 1088 » Patterns: from system design to software testing |
124
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
158
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
123
Voted
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
136
click to vote
EUROSYS
2008
ACM
15 years 5 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
142
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...