Sciweavers

11172 search results - page 198 / 2235
» Testing Physical Systems
Sort
View
DSD
2010
IEEE
171views Hardware» more  DSD 2010»
15 years 5 months ago
Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
Jiri Balcarek, Petr Fiser, Jan Schmidt
MIC
2003
114views Control Systems» more  MIC 2003»
15 years 7 months ago
Synchronization Analysis of Nonlinear Oscillators
The possibilities of studying nonlinear physical systems by small feedback action are discussed. Analytical bounds of possible system energy change by feedback are established. Th...
Alexander L. Fradkov, Boris R. Andrievsky
ARC
2008
Springer
117views Hardware» more  ARC 2008»
15 years 6 months ago
Controlling across complex networks - Emerging links between networks and control
: This paper discusses the interplay between networks and control systems. As we gain more understanding about the structure and dynamics of physical networks, their effects on the...
A. Clauset, Herbert G. Tanner, Chaouki T. Abdallah...
EUROSYS
2011
ACM
14 years 10 months ago
SRM-buffer: an OS buffer management technique to prevent last level cache from thrashing in multicores
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
Xiaoning Ding, Kaibo Wang, Xiaodong Zhang
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 11 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...