Sciweavers

11172 search results - page 151 / 2235
» Testing Physical Systems
Sort
View
WORDS
2003
IEEE
15 years 11 months ago
Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System
In the Komodo project a real-time Java system based on a multithreaded Java microcontroller has been developed. A main scheduling policy realized by hardware in the microcontroller...
Uwe Brinkschulte
ERSHOV
2003
Springer
15 years 11 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...
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
15 years 10 months ago
Test scheduling for core-based systems
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
Krishnendu Chakrabarty
TSD
2000
Springer
15 years 10 months ago
Testing a Word Analysis System for Reliable and Sense-Conveying Hyphenation and Other Applications
In this article, we present a test environment for a word analysis system that is used for reliable and sense-conveying hyphenation of German words. A crucial task is the hyphenati...
Martin Schönhacker, Gabriele Kodydek
SIGSOFT
2006
ACM
16 years 12 days ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...