276 search results - page 20 / 56 » Decomposition tool for event-B |
SC
2005
ACM
15 years 3 months ago
2005
ACM
We present a new methodology for generating and adapting octree meshes for terascale applications. Our approach combines existing methods, such as parallel octree decomposition and...
75
Voted
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we present the complete design and architectural details of MAIZEROUTER. MAIZEROUTER reflects a significant leap in progress over existing publicly available routing...
66
Voted
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, an evaluation is presented of a framework that supports flexible content repurposing. Unlike the usual practice where content components, such as slides, images, def...
ICDM
2006
IEEE
2006
IEEE
A Probability Distribution Of Functional Random Variable With A Functional Data Analysis Application
15 years 3 months ago
Probability distributions are central tools for probabilistic modeling in data mining, and they lack in functional data analysis (FDA). In this paper we propose a probability dist...
64
Voted
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...