On the design of a Formal Debugger for System Architecture (Englisch)
- Neue Suche nach: Monsuez, B.
- Neue Suche nach: Vedrine, F.
- Neue Suche nach: Vallee, N.
- Neue Suche nach: WSEAS (Organization)
- Neue Suche nach: Monsuez, B.
- Neue Suche nach: Vedrine, F.
- Neue Suche nach: Vallee, N.
- Neue Suche nach: WSEAS (Organization)
In:
WSEAS international conference on circuits; New aspects of circuits
;
462-467
;
2008
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:On the design of a Formal Debugger for System Architecture
-
Beteiligte:Monsuez, B. ( Autor:in ) / Vedrine, F. ( Autor:in ) / Vallee, N. ( Autor:in ) / WSEAS (Organization)
-
Kongress:12th, WSEAS international conference on circuits; New aspects of circuits ; 2008 ; Heraklion, Greece
-
Erschienen in:NEW ASPECTS OF CIRCUITS ; 462-467
-
Verlag:
- Neue Suche nach: WSEAS
-
Erscheinungsort:[Greece?]
-
Erscheinungsdatum:01.01.2008
-
Format / Umfang:6 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 15
-
CEREMONY for Prof. SIFAKIS : Opening by the Deputy Minister of National Defence of GREECEPlakiotakis, I. / WSEAS (Organization) et al. | 2008
- 16
-
KEYNOTE SPEAKER - TURING AWARD 2007Sifakis, J. / World Scientific and Engineering Academy and Society et al. | 2008
- 18
-
Keynote Lecture I: Distributed Estimation Using Wireless Sensor NetworksGiannakis, G.B. / World Scientific and Engineering Academy and Society et al. | 2008
- 19
-
Keynote Lecture II: Tyflos : A Wearable System-Prototype for Assisting Visually ImpairedBourbakis, N.G. / World Scientific and Engineering Academy and Society et al. | 2008
- 20
-
Keynote Lecture III: Algorithms for Rendering Depth of Field Effects for Synthetic Image Generation and Computational PhotographyBarsky, B.A. / World Scientific and Engineering Academy and Society et al. | 2008
- 21
-
Plenary Lecture I: Sliding mode technique in the task of the drive controlRyvkin, S. / WSEAS (Organization) et al. | 2008
- 22
-
Plenary Lecture II: Advances in Semiconductor Devices and Their Growing Use in Electrical Circuits and SystemsShammas, N.Y.A. / WSEAS (Organization) et al. | 2008
- 23
-
Plenary Lecture III: Vibro-acoustic Techniques to Diagnose Complex Electromechanical StructuresMuzi, F. / WSEAS (Organization) et al. | 2008
- 24
-
Special Session I: DATICS'08: Design, Analysis and Tools for Integrated Circuits and SystemsMan, K.L. / WSEAS (Organization) et al. | 2008
- 25
-
Power System Typical Load Profiles Using a New Pattern Recognition MethodologyTsekouras, G.J. / Kanellos, F.D. / Kontargyri, V.T. / Karanasiou, E.S. / Salis, A.D. / Mastorakis, N.E. / World Scientific and Engineering Academy and Society et al. | 2008
- 32
-
Sliding Mode Technique in the Task of the Drive ControlRyvkin, S. / World Scientific and Engineering Academy and Society et al. | 2008
- 41
-
Control of the Power Flow in an Energy System Based on Grid Connected with Photo Voltage GeneratorRozanov, Y.K. / Kriukov, K.V. / World Scientific and Engineering Academy and Society et al. | 2008
- 45
-
Simulation of Induction Motor Ventilation by Electric ModelingIordache, M. / Dumitriu, L. / Voicu, N. / Dumitriu, C. / World Scientific and Engineering Academy and Society et al. | 2008
- 49
-
Projection Method for Order Reduction of Analog CircuitsIordache, M. / Dumitriu, L. / Ilie, A. / WSEAS (Organization) et al. | 2008
- 55
-
A Robust Design on Security Voip System over WiMAXJianxi, Y. / Jianwei, Z. / Yuan, W. / WSEAS (Organization) et al. | 2008
- 60
-
A High-Voltage Switching ADSL Line-Driver, with an n-Type Output StageBuyle, J. / De Gezelle, V. / Bakeroot, B. / Doutreloigne, J. / World Scientific and Engineering Academy and Society et al. | 2008
- 65
-
Development of Fluorescence Computational Algorithm for DNA AmplificationChien, J.H. / Chu, Y.H. / Tseng, S.Y. / Su, C.L. / Lin, T.J. / Lee, D.S. / Chen, P.H. / World Scientific and Engineering Academy and Society et al. | 2008
- 70
-
A 200nV/√Hz Noise PSD Signal-Conditioning Circuit with Sensor-Offset CancellationYoshizawa, H. / Saito, H. / Igarashi, A. / Ariyama, M. / Takeda, A. / Anzai, R. / Uchida, T. / Sudo, M. / World Scientific and Engineering Academy and Society et al. | 2008
- 76
-
Electrical Characterisation of Dry Electrodes for ECG RecordingBaba, A. / Burke, M.J. / World Scientific and Engineering Academy and Society et al. | 2008
- 82
-
Electrical Power Transformer - Modeling, Simulation and Data AcquisitionUlieru, V.D. / World Scientific and Engineering Academy and Society et al. | 2008
- 86
-
A Second Order Sigma Delta Modulation by Cascaded Sigma Delta CNNsHirano, M. / Aomori, H. / Otakey, T. / Tanaka, M. / World Scientific and Engineering Academy and Society et al. | 2008
- 91
-
A Coin Detection System by Coupled Printed Spiral InductorsFukatani, J. / Yamaguchi, S. / Yamauchi, M. / Aomori, H. / Tanaka, M. / WSEAS (Organization) et al. | 2008
- 96
-
Efficiency Optimized, EMI-Reduced Solar Inverter Power StageEdelmoser, K.H. / Himmelstoss, F.A. / World Scientific and Engineering Academy and Society et al. | 2008
- 102
-
On Using Autoregressive Second Order Models for Pipeline Leak DetectionDaneti, M. / World Scientific and Engineering Academy and Society et al. | 2008
- 108
-
A Novel Single-Input-Single-Output multifunctional Filter Based on Current-Starved Pseudo-Floating GateAzadmehr, M. / Berg, Y. / World Scientific and Engineering Academy and Society et al. | 2008
- 113
-
First-Order Temperature-Compensated Total-Current ReferenceMihaescu, R.D. / World Scientific and Engineering Academy and Society et al. | 2008
- 119
-
Second-Order Temperature-Compensated Total-Current ReferenceMihaescu, R.D. / Ciugudean, M.A. / WSEAS (Organization) et al. | 2008
- 125
-
Chaotic Behavior of the Buck-Boost Converter under Current-Mode ControlNegoitescu, D. / Lascu, D. / Popescu, V. / Ivan, C. / WSEAS (Organization) et al. | 2008
- 131
-
Optimal Embedded Repairing of SOC MemoryHahanov, V.I. / Hahanova, A.V. / Chumachenko, S.V. / Galagan, S.S. / WSEAS (Organization) et al. | 2008
- 137
-
Switched Version of the Cockcroft-Walton Charge Pump for Driving Capacitive LoadsVinko, D. / Svedek, T. / Matic, T. / WSEAS (Organization) et al. | 2008
- 142
-
Experimental Investigation of Contact Resistance of Slotted and Perforated Bolted Busbar ConnectionsTzeneva, R. / Slavtchev, Y. / Mastorakis, N. / Mladenov, V. / WSEAS (Organization) et al. | 2008
- 147
-
A New Algorithm for Implementing BSB-Based Associative MemoriesCasali, D. / Costantini, G. / Perfetti, R. / Ricci, E. / WSEAS (Organization) et al. | 2008
- 152
-
A CNN Based Algorithm for Retinal Vessel SegmentationPerfetti, R. / Ricci, E. / Casali, D. / Costantini, G. / WSEAS (Organization) et al. | 2008
- 158
-
Static and Dynamic Classification Methods for Polyphonic Transcription of Piano Pieces in Different Musical StylesCostantini, G. / Todisco, M. / Carota, M. / Casali, D. / World Scientific and Engineering Academy and Society et al. | 2008
- 163
-
Data Acquisition System for Heat Costs AllocationLie, I. / Tiponut, V. / Bogdanov, I. / Ionel, S. / Caleanu, C.D. / WSEAS (Organization) et al. | 2008
- 169
-
A Survey of Programmable and Dedicated Approaches in VLSI Architecture Design for Real-Time Video ProcessingAhmad, A. / Loo, K.K. / Cosmas, J. / World Scientific and Engineering Academy and Society et al. | 2008
- 184
-
Neuro Network Solution to the Design of a Hall Effect Current TransformerGokmen, G. / Ozel, Y. / Ekren, N. / WSEAS (Organization) et al. | 2008
- 189
-
Unconventional Simulation tasks in OrCAD PSpice via Simulation ManagerJaros, M. / Kadlec, J. / Biolek, D. / WSEAS (Organization) et al. | 2008
- 193
-
AC Analysis of Real Circuits with External Switching in PSpiceBiolek, D. / Biolkova, V. / Kolka, Z. / World Scientific and Engineering Academy and Society et al. | 2008
- 197
-
A Dual-Edge Triggered Phase Detector for Fast-Lock DLLRyu, K.H. / Park, S.K. / Jung, S.-O. / WSEAS (Organization) et al. | 2008
- 202
-
Optimal Dual Voltage Assignment Algorithm for Low Power under Timing-ConstraintsLin, Y.-C. / Lin, C.-C. / Huang, H.-H. / Hsieh, T.-M. / WSEAS (Organization) et al. | 2008
- 206
-
On Settling Time in Electrical Circuits with Deterministic and Random InputsIonel, R. / Tiponut, V. / Ionel, S. / Lie, I. / World Scientific and Engineering Academy and Society et al. | 2008
- 210
-
Multi-layer Rectangular/Non-Rectangular Obstacles-Avoiding X-Architecture RouterLin, Y.-C. / Shih, C.-C. / Chen, H.-M. / World Scientific and Engineering Academy and Society et al. | 2008
- 214
-
Optical Receiver with Photodiode Gain StabilizationKolka, Z. / Biolkova, V. / World Scientific and Engineering Academy and Society et al. | 2008
- 218
-
Spatial Quasineural Circuits for Electromagnetic SignalsKouzaev, G.A. / WSEAS (Organization) et al. | 2008
- 224
-
Modular Design of an Adaptive Analog Filter Shaped as an Identifier with CMOS of 0.5 μmPerez-Carmona, J. / Perez-Meana, H. / Sanchez-Garcia, J. / WSEAS (Organization) et al. | 2008
- 232
-
A Novel Sub-1 Volt Bandgap Reference with all CMOSSomvanshi, S. / Bose, S.C. / Gupta, A. / World Scientific and Engineering Academy and Society et al. | 2008
- 238
-
Optimization and process variation analysis of nano-scale transistorsMamaluy, D. / Khan, H.R. / WSEAS (Organization) et al. | 2008
- 244
-
Generalized Fibonacci Digital FiltersBalestrino, A. / Zini, G. / WSEAS (Organization) et al. | 2008
- 249
-
Inversion/non-Inversion Dynamic Optically Reconfigurable Gate ArrayWatanabe, M. / Nakajima, M. / World Scientific and Engineering Academy and Society et al. | 2008
- 255
-
Test Pattern Generation for Crosstalk Fault of High-speed InterconnectYuling, S. / Yushan, L. / World Scientific and Engineering Academy and Society et al. | 2008
- 261
-
Embedded SOC F-IP Diagnosis by Using Algebraic Logical MethodHahanov, V. / Obrizan, V. / Litvinova, E. / Man, K.L. / WSEAS (Organization) et al. | 2008
- 267
-
A Single-Phase Grid-Connected PV System with Active Power FilterDe Souza, K.C.A. / Martins, D.C. / WSEAS (Organization) et al. | 2008
- 274
-
System Modeling Based on Short Samplings and Global InteractionMuzi, F. / WSEAS (Organization) et al. | 2008
- 279
-
Neural Network Solution to the Cogeneration System by Using CoalOzel, Y. / Guney, I. / Arca, E. / World Scientific and Engineering Academy and Society et al. | 2008
- 284
-
Genetic-Based Machine Learning using Hardware AcceleratorYoshikawa, M. / Terai, H. / WSEAS (Organization) et al. | 2008
- 290
-
Partial Discharges Localization in Oil Insulating Transformer using Adaptive Tabu SearchMarungsri, B. / Oonsivilai, A. / WSEAS (Organization) et al. | 2008
- 296
-
Computer-Aided Design of Ternary Quantum-dot Cellular Automata CircuitsJanez, M. / Bajec, I.L. / Pecar, P. / Jazbec, A. / Zimic, N. / Mraz, M. / World Scientific and Engineering Academy and Society et al. | 2008
- 302
-
Fluency DA Functions as Non-uniform Sampling Functions for Interpolating Sampled-valuesKatagishi, K. / Ikeda, K. / Nakamura, M. / Toraichi, K. / Ohmiya, Y. / Murakami, H. / World Scientific and Engineering Academy and Society et al. | 2008
- 310
-
About the High-Frequency Interferences Produced in Systems Including PWM and AC MotorsDarie, E. / Cepisca, C. / WSEAS (Organization) et al. | 2008
- 315
-
Sensors for Modeling the Effects of Climate Change on Grapevine Growth and Wine QualityShanmuganthan, S. / Ghobakhlou, A. / Sallis, P. / WSEAS (Organization) et al. | 2008
- 321
-
Small-Signal Models of Some Basic PWM ConvertersNiculescu, E. / Purcaru, D.-M. / Niculescu, M.-C. / WSEAS (Organization) et al. | 2008
- 327
-
Simulation of a Double-Junction GaAs-Alloy Structure as a Probe for High Efficiency Solar Cells in the VisibleVaronides, A.C. / Spalletta, R.A. / World Scientific and Engineering Academy and Society et al. | 2008
- 331
-
The Road to High Efficiency Solar Cells: Selective Absorption for Full-Spectrum Operation via GaAs/Alloy & GaAs/Ge SuperlatticesVaronides, A.C. / Spalletta, R.A. / WSEAS (Organization) et al. | 2008
- 336
-
Hopping Currents in III-V PV-heterostructures, for High Efficiency Solar Cells (HESC's)Varonides, A.C. / World Scientific and Engineering Academy and Society et al. | 2008
- 340
-
Using The Fractional Hilbert Transform to Model a Quadrature IF ReceiverSeagraves, E. / Brucewalcott / World Scientific and Engineering Academy and Society et al. | 2008
- 345
-
Optimal PID Tuning of Power System Stabilizer for Multi-machine Power System using Particle Swarm OptimizationOonsivilai, A. / Marungsri, B. / World Scientific and Engineering Academy and Society et al. | 2008
- 351
-
Logic Synthesis for Reducing Leakage Power Consumption under Workload UncertaintySingh, A.K. / Orshansky, M. / WSEAS (Organization) et al. | 2008
- 356
-
Configurable Digital Fractional Order Hold Device for Hybrid Control SystemsBasterretxea, K. / Barcena, R. / World Scientific and Engineering Academy and Society et al. | 2008
- 362
-
Electronic Network Simulation through Direct Computer Modeling I. Analog Circuit Bias Point Calculation. An Alternative to the SPICE Matrix SolverSoiguine, A. / Soiguine, F. / World Scientific and Engineering Academy and Society et al. | 2008
- 373
-
Advances in Semiconductor Devices and Their Growing Use in Electrical Circuits and SystemsShammas, N.Y.A. / Chamund, D. / Taylor, P. / World Scientific and Engineering Academy and Society et al. | 2008
- 385
-
FPGA Implementation of Image Morphological Decomposition with ReconstructionJivet, I. / Brindusescu, A. / Bogdanov, I. / World Scientific and Engineering Academy and Society et al. | 2008
- 391
-
Congestion-Driven Floorplanning with Module ReshapingLin, Y.-C. / Chen, S.-J. / Chen, P.-L. / Huang, H.-H. / WSEAS (Organization) et al. | 2008
- 397
-
Current Issues on Electric Power Engineering Education and Professional Training for Electric Power EngineersPapazoglou, T.M. / WSEAS (Organization) et al. | 2008
- 405
-
Dimensioning and Operating Wind-Hydrogen Plants in Power MarketsGreiner, C.J. / Korpas, M. / Gjengedal, T. / World Scientific and Engineering Academy and Society et al. | 2008
- 415
-
Hysteresis Control and Constant-Switching Strategy in Direct Torque Control Drive - A Comparative AnalysisNikolic, A. / Jeftenic, B. / WSEAS (Organization) et al. | 2008
- 420
-
New Approaches on Predictive Maintenance Based on an Environmental Perspective: The Cases of Wind Generators and Diesel EnginesFarinha, T. / Fonseca, I. / Simoes, A. / Barbosa, M. / Viegas, J. / WSEAS (Organization) et al. | 2008
- 429
-
Modeling and Simulation of the Electromagnetic Field Generated by Electro-Energetic FacilitiesUngureanu, M. / Baran, I. / WSEAS (Organization) et al. | 2008
- 435
-
Nanodevice Wavefunction-Engineering of Intersubband THz-LuminescenceAnagnostakis, E.A. / World Scientific and Engineering Academy and Society et al. | 2008
- 443
-
DATICS: DESIGN, ANALYSIS AND TOOLS FOR INTEGRATED CIRCUITS AND SYSTEMSWorld Scientific and Engineering Academy and Society et al. | 2008
- 443
-
SPECIAL SESSION I: DATICS: DESIGN, ANALYSIS AND TOOLS FOR INTEGRATED CIRCUITS AND SYSTEMSWSEAS (Organization) et al. | 2008
- 445
-
Two-Way Coupled Finite Automata and Its Usage in TranslatorsHruska, T. / Kolar, D. / Lukas, R. / Zamecnikova, E. / WSEAS (Organization) et al. | 2008
- 450
-
THAWS: Automated Wireless Sensor Network Development and DeploymentHarte, S. / Popovici, E.M. / O flynn, B. / World Scientific and Engineering Academy and Society et al. | 2008
- 456
-
A Dynamic ADC Test Processor for Built-in-Self-Test of ADCsFleischmann, T. / Mullane, B. / WSEAS (Organization) et al. | 2008
- 462
-
On the design of a Formal Debugger for System ArchitectureMonsuez, B. / Vedrine, F. / Vallee, N. / World Scientific and Engineering Academy and Society et al. | 2008
- 468
-
Scenarios for Validating SystemC DescriptionsAyache, N. / Correnson, L. / Vedrine, F. / WSEAS (Organization) et al. | 2008