Sciweavers

5689 search results - page 1022 / 1138
» A Performance Process Maturity Model
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 8 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 8 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
CASES
2001
ACM
15 years 8 months ago
A compiler framework for mapping applications to a coarse-grained reconfigurable computer architecture
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...
Girish Venkataramani, Walid A. Najjar, Fadi J. Kur...
ICCAD
1995
IEEE
180views Hardware» more  ICCAD 1995»
15 years 8 months ago
Design based analog testing by Characteristic Observation Inference
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
Walter M. Lindermeir, Helmut E. Graeb, Kurt Antrei...
VISSYM
2007
15 years 7 months ago
Flexible And Topologically Localized Segmentation
One of the most common visualization tasks is the extraction of significant boundaries, often performed with isosurfaces or level set segmentation. Isosurface extraction is simple...
Gunnar Johansson, Ken Museth, Hamish Carr
« Prev « First page 1022 / 1138 Last » Next »