1833 search results - page 345 / 367 » Mechanized Verification with Sharing |
ICSR
2004
Springer
14 years 4 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
PPSN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...
MICRO
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we address the design of a future high-speed router that supports line rates as high as OC-3072 (160 Gb/s), around one hundred ports and several service classes. Bui...
MSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Caching techniques have been used to improve the performance gap of storage hierarchies in computing systems. In data intensive applications that access large data files over wid...
MOBICOM
2003
ACM
14 years 4 months ago
2003
ACM
Routers are expected to play an important role in the IPbased wireless data network. Although a substantial number of techniques have been proposed to improve wireless network per...