1981 search results - page 303 / 397 » Model-Checking Hierarchical Structures |
DAC
1997
ACM
14 years 1 months ago
1997
ACM
In this paper, we present a new integrated synthesis and partitioning method for multiple-FPGA applications. This method rst synthesizes a design speci cation in a ne-grained way ...
HOTOS
1993
IEEE
14 years 1 months ago
1993
IEEE
The current generation of le systems are inadequate in facing the new technological challenges of wide area networks and massive storage. xFS is a prototype le system we are devel...
SIGIR
2010
ACM
14 years 24 days ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
FORMATS
2007
Springer
14 years 24 days ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
APWEB
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. In recent years, personalized news recommendation has received increasing attention in IR community. The core problem of personalized recommendation is to model and track...