9,012,196 Hits in 10.2 sec

Formal Verification and Testing Based on P Systems [chapter]

Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
2010 Lecture Notes in Computer Science  
In this paper it is surveyed the set of formal verification methods and testing approaches utilised for applications based on P systems.  ...  The research of MG and FI is supported by CNCSIS grant no.643/2009, An integrated evolutionary approach to formal modelling and testing.  ...  This paper will present a survey on the main verification methods and testing tools applied to P systems and their advantages and limitations will be revealed.  ... 
doi:10.1007/978-3-642-11467-0_5 fatcat:azypfn6dkbf3jkij36krpn4vwy

Testing based on identifiable P Systems using cover automata and X-machines

Marian Gheorghe, Florentin Ipate, Savas Konur
2016 Information Sciences  
This paper represents a significant advance on the issue of testing for implementations specified by P systems with transformation and communicating rules.  ...  It also investigates the issue of identifiability for P systems, that is an essential prerequisite for testing implementations based on such specifications and establishes a fundamental set of properties  ...  An approximation of the computation of the P system is built using the cover automaton formalism and the previously devised testing method is applied to test an implementation based on a P systems specification  ... 
doi:10.1016/j.ins.2016.08.028 fatcat:f2benv2zzfazrnn3p6aqhviik4

Conformance testing trials on ERMES receivers [chapter]

P. Kostarakis, A. A. Alexandridis, K. Dangakis, A. Vlahakis, P. Katrivanos, F. Lazarakis, A. Paschalis, N. Gaitanis
1996 Testing of Communicating Systems  
Complete test suites have been carried out on ERMES receivers. A part of the results of test trials is listed here, demonstrating the test system functionality .  ...  The test procedures, various test setups and test execution software, implemented and integrated in a fully operational test system, are described in this paper.  ...  SETUPS OF THE TEST SYSTEM According to the standards (prETS 300 133-5, 1991), some tests are carried out on an Open Area Test Site (OATS) while the rest are carried out using a test fixture (TEM-cell).  ... 
doi:10.1007/978-0-387-35062-2_3 fatcat:kibcyjhp2zf6fgy44kd5cxzgfa

Assortativity Anomalies in a Large Test System

P. Cuffe
2016 IEEE Transactions on Power Systems  
the degree assortativity of the various test power systems that compose the NESTA archive.  ...  Publication information IEEE Transactions on Power Systems, 31 (5) : 4169-4170 Publisher IEEE Item record/more information Publisher's statement Abstract-This letter compares  ...  This recommends against its use as a validation platform for power system algorithms, which is its raison d'être. Assortativity Anomalies in a Large Test System P.  ... 
doi:10.1109/tpwrs.2015.2499700 fatcat:zecztsnq3jbkhbpkqbxbcizgpa

Constraints on Scalar-Tensor Theory of Gravity by Solar System Tests [article]

P. A. González, Marco Olivares, Eleftherios Papantonopoulos, Yerko Vásquez
2020 arXiv   pre-print
We constrain the value of the derivative parameter z through solar system tests.  ...  > 1.6 × 10^11 m, and the gravitational time delay √(z)/m_p > 7.9 × 10^12 m; thereby, our results show that it is possible to constrain the value of the z parameter in agreement with the observational tests  ...  Note that the proper time (τ ) depends on the energy of the test particle, while that the coordinate time (t) does not depend on the energy of the test particle.  ... 
arXiv:2002.03394v2 fatcat:uazoumforfemfemik7a75ljeai

Testing system-in-package wirelessly

S. Bernard, D. Andreu, M.-L. Flottes, P. Cauvet, H. Fleury, F. Verjus
2006 International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.  
In this paper, we introduce a new test concept based on a wireless communication, a specific test access mechanism (TAM), and an optimised architecture.  ...  Trends of the SiP technology put more economic and technical constraints onto the test, while the contactless test techniques represent an opportunity to overcome the inherent problems.  ...  a system or subsystem in one package, essentially an alternative to a System-On-Chip (SoC).  ... 
doi:10.1109/dtis.2006.1708683 fatcat:h3a6kba7tfeg7h37gnfuysp2am

Rekomendasi Solusi pada Computer Maintenance Management System Menggunakan Association Rule, Fisher Exact Test One Side P-value dan Double One Side P-Value

Farid Sukmana, Fahrur Rozi
2017 Jurnal Teknologi Informasi dan Ilmu Komputer  
This research using data test with Association Rule and Fisher Exact One Side P-Value from same problems in Computer Maintenance Management System (CMMS).  ...  Penelitian ini melakukan uji data dengan menggunakan Association Rule, Fisher Exact One Side P-Value dan double one side p-value dalam satu permasalahan yang sama pada Computer Maintenance Management System  ...  Nilai Fisher Exact Test One Side P-Value Tabel IV 2 = 0.029 2 = 0.058 Gambar 5. Nilai Fisher Exact Test Double One Side P-Value Tabel IV Gambar 5.  ... 
doi:10.25126/jtiik.201744368 doaj:47b7020df0d74585a6d9d26a45e4c332 fatcat:fwkomv5sfrexdiyy3llq7meqzm

Sustained Systems Performance Test on HPCMP Systems

P. Bennett
2007 2007 DoD High Performance Computing Modernization Program Users Group Conference  
to scheduler operations on system performance DoD HPCMP.  ...  The benchmark consists of five can all be quantitatively evaluato sytfrom runs of the benchmark codes and test cases carefully chosen from the SSP test conducted on selected HPC sfrtems in the Technology  ...  T h e S S P stan d ard test cas e b en chm ark tim es CTH 1,420 1,463 2,021 1,999 observed on Kraken are presented in Table 4. Kraken is ... GFLOPS.  ... 
doi:10.1109/hpcmp-ugc.2007.71 fatcat:equzjdmhmnc67kd5mdedhh6n2y

Multi-temperature testing for core-based system-on-chip

Zhiyuan He, Zebo Peng, P Eles
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
In this paper, we discuss the need and problems for testing core-based systems-on-chip at different temperatures.  ...  To address the long test time problem for multitemperature test, we propose a test scheduling technique that generates the shortest test schedules while keeping the cores under test within a temperature  ...  System-on-Chip Testing The ever increasing demands on system performance have led to the integration of more and more functionalities into modern ICs, making them highly complex.  ... 
doi:10.1109/date.2010.5457209 dblp:conf/date/HePE10 fatcat:tka6ll4fbzah3b6wnfyq7k7bcy

First Cell Magnet System Tests

W. J. Schneider, D. P. Brown, J. J. Briggs, C. L. Foerster, H. J. Halama, A. P. Schlafke, A. P. Werner
1981 IEEE Transactions on Nuclear Science  
The design and test results of the magnet. system during various operating conditions in use on the ISABELLE prototype, the First Cell, are described.  ...  Summarv The ISABELLE refrigeration system utilizes compressed liquid helium to supply refrigeration to nearly 1100 superconducting bending and focusing magnets.  ...  Test Results Eight cooldowns were performed on the piping system between June 1980 and January, 1981.  ... 
doi:10.1109/tns.1981.4332074 fatcat:fmis3y7bvrfypbqbpgay52hp5m

Decision Support System On Computer Maintenance Management SystemUsing Association Rule and Fisher Exact Test One Side P-Value

Farid Sukmana, Fahrur Rozi
2017 TELKOMNIKA (Telecommunication Computing Electronics and Control)  
This research using data test with Association Rule and Fisher Exact One Side P-Value from same problems in Computer Maintenance Management System (CMMS).  ...  One of implementationdecision making is decision support system in Computer Maintenance Management System (CMMS).  ...  one side p-value to last row in rule number 4 with higher value of fisher exact test.  ... 
doi:10.12928/telkomnika.v15i4.5880 fatcat:jroaswdwcrgktmcel77m4nkhim

On Some Statistical Aspects of Software Testing and Reliability [chapter]

Frank P. A. Coolen
2013 Complex Systems and Dependability  
This article discusses the author's views on possible contributions statistics can make to software testing and reliability.  ...  an 'add-on'; careful treatment of the uncertainties and the adequate use of statistical methods have to be right at the center of the software development and test processes to ensure better tested and  ...  Acknowledgements I am grateful to the members of the organising committee of the Seventh International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX 2012), in particular Professor Wojciech  ... 
doi:10.1007/978-3-642-30662-4_7 fatcat:5nxaptaoxbgy5gkyc5nrt6ahci

Systemic Insecticidal Control of Brown Citrus Aphid on Valencia Orange, 1997

P. A. Stansly, J. M. Conner, P. W. Carlin
1998 Arthropod Management Tests  
Means within a column followed by the same letter are not significantly different (P = 0.05, REGWQ multiple range test in SAS Version 6 after arcsine square-root transformation).  ...  ORANGE: SYSTEMIC INSECTICIDAL CONTROL OF BROWN CITRUS APHID ON VALENCIA ORANGE, 1997: The trial was conducted in the Research Grove located at Southwest Florida Research and Education Center in Immokalee  ... 
doi:10.1093/amt/23.1.67 fatcat:bf7v4y56efgobfietpy2tf3aue

Efficiency test on the experimental design of micromachined blood separation system based on Zweifach-Fung effect

Z. Fekete, P. Nagy, A. Pongrácz, I. Bársony, P. Fürjes
2011 Procedia Engineering  
When aiming a complete microfluidic analysis system for human blood tests the blood plasma separation should be preferably also integrated in the device.  ...  The sensitivity of the analysis is significantly affected by the sample quality, so in this work the efficiency of the Zweifach-Fung effect based microfluidic separation systems was characterized.  ...  The geometric parameters were varied to define the optimal microfluidic structure that can be integrated to a sample preparation system.  ... 
doi:10.1016/j.proeng.2011.12.306 fatcat:k7z3z6tuknfuxmxpe4lwyoyqve

Improvements on Photovoltaic Cells Test Bench System

P. N. Borza, D. T. Cotfas, P. A. Cotfas, A. Pologea
2012 Journal of Engineering Science and Technology Review  
The improvements of a test bench system for testing the solar cells is presented. The system allows measuring the I-V characteristics at different levels of lighting.  ...  Experimental Experimental set-up The architecture of the test bench system is based on the integration of three parts: the mechanical sub-system, optical sub-system and electronic sub-system.  ...  Conclusions The test bench system is a compact and flexible system to characterize the photovoltaic cells.  ... 
doi:10.25103/jestr.054.08 fatcat:utifnpcxnnfz3j7b4wzyg5a6ci
« Previous Showing results 1 — 15 out of 9,012,196 results