Sciweavers

853 search results - page 56 / 171
» New test approach for embedded applications
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 5 days ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
WER
2004
Springer
15 years 11 months ago
Structural Testing with Use Cases
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
Adriana Carniello, Mario Jino, Marcos Lordello Cha...
DATE
1998
IEEE
106views Hardware» more  DATE 1998»
15 years 10 months ago
March Tests for Word-Oriented Memories
Most memory test algorithms are optimized tests for a particular memory technology and a particular set of fault models, under the assumption that the memory is bit-oriented; i.e....
A. J. van de Goor, Issam B. S. Tlili
IAJIT
2006
92views more  IAJIT 2006»
15 years 6 months ago
A Rule-Based Extensible Stemmer for Information Retrieval with Application to Arabic
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
Haidar Harmanani, Walid Keirouz, Saeed Raheel
ASM
2005
ASM
15 years 11 months ago
Modeling and Testing Hierarchical GUIs
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
Ana Paiva, Nikolai Tillmann, João C. P. Far...