Sciweavers

2435 search results - page 42 / 487
» GPSS - 40 years of development
Sort
View
DFT
2003
IEEE
151views VLSI» more  DFT 2003»
14 years 1 months ago
Soft-Error Detection Using Control Flow Assertions
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Re...
ANSS
1999
IEEE
14 years 1 days ago
DYANA: An Environment for Embedded System Design and Analysis
The results presented here are based on many years of experience of development and application of DYANA
Ruslan L. Smeliansky, Anatoly G. Bakhmurov, A. P. ...
EC
2000
123views ECommerce» more  EC 2000»
13 years 7 months ago
Embodiment of Evolutionary Computation in General Agents
Holland's Adaptation in Natural and Artificial Systems largely dealt with how systems, comprised of many self-interested entities, can and should adapt as a whole. This semin...
Robert E. Smith, Claudio Bonacina, Paul E. Kearney...
VIROLOGY
2010
179views more  VIROLOGY 2010»
13 years 6 months ago
Automatic binary deobfuscation
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
Yoann Guillot, Alexandre Gazet
ISOLA
2004
Springer
14 years 1 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin