3171 search results - page 132 / 635 » Application of Reduce Order Modeling to Time Parallelization |
109
Voted
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we consider the problem of materializing the complete finite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...
131
click to vote
PDCN
2004
15 years 4 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...
148
click to vote
GLVLSI
2000
IEEE
15 years 7 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
103
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
Energy conservation without performance degradation is an important goal for battery-operated computers, such as laptops and hand-held assistants. In this paper we determine the p...
117
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...