Sciweavers

7921 search results - page 38 / 1585
» LSH-preserving functions and their applications
Sort
View
ERSHOV
2003
Springer
14 years 3 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
AIME
1997
Springer
14 years 2 months ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona
JSA
2006
52views more  JSA 2006»
13 years 9 months ago
Intelligent memory manager: Reducing cache pollution due to memory management functions
In this work, we show that data-intensive and frequently-used service functions such as memory allocation and deallocation entangle with application
Mehran Rezaei, Krishna M. Kavi
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
14 years 4 months ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
14 years 3 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...