close
1.

図書

図書
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 281 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen
Real-Time Issues / Session 2:
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi
TILCO-X, an Extension of TILCO Temporal Logic
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver
Panel: Issues with Web Site Software / Session 3:
Formal Issues / Session 4:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5:
Industrial Experiences / Session 6:
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3])
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7:
Design Issues / Session 8:
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks
The Problem of Platform Complexity / H. LawsonSession 9:
Architectural Issues / Session 10:
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu
Testing Issues / Session 11:
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper
Analysis and Modeling / Session 12:
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco
Authors' Index
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
3.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 247 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Chair's Message
Organizing Committee
Keynote Address 1
Complexity is the Enemy of Dependability - Can Diversity Provide A Defence? / Bev Littlewood
Distributed Systems / Session 1:
Validating Run-Time Interactions in Distributed Java Applications / S. Ghosh ; N. Bawa ; S. Goel ; Y. Reddy
Reasoning About Asynchronous Behaviour in Distributed Systems / P. Henderson
A Framework for Performability Modeling of Messaging Services in Distributed Systems / S. Ramani ; K. Goseva-Popstojanova ; K. Trivedi
Efficient Reachability Testing of Asynchronous Message-Passing Programs / Y. Lei ; K.-C. Tai
Keynote Address 2
Integrating CSP and DC / Jifeng He
Formal Approaches / Session 2:
Capturing Complete and Accurate Requirements by Refinement / S. Liu
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm / M. Besta ; F. Stomp
Execution of Tilco Temporal Logic Specifications / P. Bellini ; A. Giotti ; P. Nesi
Design and Modeling / Session 3:
Mnemosyne: Designing and Implementing Network Short-Term Memory / G. Vigna ; A. Mitchell
Composability for Software Components: An Approach Based on the Whole-Part Theory / F. Barbier
Using Role-Based Modeling Language (RBML) to Characterize Model Families / D.-K. Kim ; R. France ; E. Song
Using Aspects to Design a Secure System / G. Georg ; I. Ray
Keynote Address 3
A Light-Weight Process for Capturing and Evolving Defect Reduction Experience / Victor R. Basili ; Mikael Lindvall ; Forrest Shull
Testing / Session 4:
Interclass Testing of Object Oriented Software / V. Martena ; A. Orso ; M. Pezze
A Perturbation-Based Testing Strategy / B. Murrill ; L. Morell ; E. Olimpiew
A Framework for Specification-Based Class Testing / L. Liu ; H. Miao ; X. Zhan
Mars Polar Lander Fault Identification Using Model-Based Testing / M. Blackburn ; R. Busser ; A. Nauman ; R. Knickerbocker ; R. Kasuda
Analysis / Session 5:
An Empirical Comparison of Modularity of Procedural and Object-Oriented Software / L. Ferrett ; J. Offutt
Fault Detection Effectiveness of Spathic Test Data / J. Hayes ; P. Zhang
Syntactic Fault Patterns in OO Programs / R. Alexander ; J. Bieman
Model Checking Uml Specifications of Real Time Software / V. Del Bianco ; L. Lavazza ; M. Mauri
Software Evolution and Product Line / Session 6:
An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB / A. Dagnino
Managing Software Evolution with a Formalized Abstraction Hierarchy / T. Aaltonen ; T. Mikkonen
Optonet - a Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy / L. Murray ; A. Griffiths ; P. Strooper
Multiple-View Meta-Modeling of Software Product Lines / H. Gomaa ; M. Shin
Author Index
Chair's Message
Organizing Committee
Keynote Address 1
4.

図書

図書
[vidpovidalʹnyĭ za vypusk V.M. Tesli︠u︡k]
出版情報: Lviv : Publishing House of Lviv Polytechnic National University, c2003  586 p. ; 30 cm
所蔵情報: loading…
5.

図書

図書
edited by Pierfancesco Bellini, Shawn A. Bohner, Bernhard Steffen, sponsored by IEEE Computer Society Technical Committee on Complexity in Computing(TCCX)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xi, 259 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Organizing and Program Committees
Keynote Address
Architecture Driven Modeling in Software Development / M. Broy
Panel
Major Threat: From Formal Methods without Tools to Tools without Formal Methods
Session: Security
Modeling Complex Systems by Separating Application and Security Concerns / H. Gomaa ; M. Shin
Dealing with Complex Networks of Process Interactions: A Security Measure / P. Periorellis ; O. Idowu ; S. Lynden ; M. Young ; P. Andras
Session: Networks
TT[superscript ET]: Event-Triggered Channels on a Time-Triggered Base / V. Claesson ; N. Suri
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network / M. Nikolaidou ; D. Anagnostopoulos
Session: Validation
Integrated Fault Diagnostics on the Grid / X. Ren ; M. Ong ; G. Allan ; V. Kadirkamanathan ; H. Thompson ; P. Fleming
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints / M. Polycarpou ; J. Farrell ; M. Sharma
Formal Test-Case Generation for UML Statecharts / S. Gnesi ; D. Latella ; M. Massink
Session: Formal Specification
Requirements Validation by Lifting Retrenchments in B / M. Poppleton ; R. Banach
Relating II-calculus to Object-Z / K. Taguchi ; J. Dong ; G. Ciobanu
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages / T. Bolognesi
Session: Tools
Towards a Tool for Derivation of Implementation Constraints / P. Wecksten ; J. Vasell ; M. Jonsson
Supporting Rigorous Evolution of UML Models / S. Judson ; R. France ; D. Carver
Independence Transformations and Tools for Components / D. Woit ; M. Fan
Session: Managing Complexity
Using Contexts to Manage System Complexity / P. Robertson ; R. Laddaga
Session: Case Studies
Visualising Object-Oriented Source Code Complexity Using XML / R. Marks ; F. Wilkie
Domain Visualization for Dealing with Complex Information Systems / P. Donzelli ; P. Bresciani
A Web-Based Infrastructure for the Management of Semantic Meta-Data / V. Del Bianco ; G. Ripa ; E. Tracanella ; L. Lavazza
A CORBA-Based Multi-agent System Integration Framework / T. Cheng ; Z. Guan ; B. Wu ; S. Yang
Muse over University Organisational Ecology in Action and Service-Oriented Architectures / S. Ramakrishnan ; A. Cambrell
Design of a Microprocessor-Based Control System of a Compression Molding Process / G. Adam
Monitoring and Optimizing Industrial Production Processes / L. Braccesi ; M. Monsignori ; P. Nesi
System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides / F. Barrientos Garcia ; I. Garcia Incertis ; F. Miguel Trespaderne ; E. de la Fuente Lopez ; J. Peran Gonzalez
Session: Buring Problems
Verification of NASA Emergent Systems / C. Rouff ; A. Vanderbilt ; W. Truszkowski ; J. Rash ; M. Hinchey
Software Information Leaks: A Complexity Perspective / B. George ; S. Bohner ; R. Prieto-Diaz
An Investigation of the Approach to Specification-Based Program Review through Case Studies / F. Nagoya ; S. Liu ; Y. Chen
Author Index
Message from the Chairs
Organizing and Program Committees
Keynote Address
6.

図書

図書
Euromicro Symposium on Digital Systems Design ; Euromicro
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 478 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Conferences Committees
Keynote Speeches
Eccentric SoC Architectures as the Future Norm / G. Brebner
NoCs: A New Contract between Hardware and Software / A. Jantsch
Towards the Digitally Named World--Challenges for New Social Infrastructures Based on Information Technologies / H. Yasuura
Customizable Embedded Processor Architectures / P. Petrov ; A. Orailoglu
Processor and Memory Architectures
Distance-aware L2 Cache Organizations for Scalable Multiprocessor Systems / S. Chung ; H. Kim ; C. Jhon
Unified Dual Data Caches / B. Juurlink
CCC: Crossbar Connected Caches for Reducing Energy Consumption of On-Chip Multiprocessors / L. Li ; N. Vijaykrishnan ; M. Kandemir ; M. Irwin ; I. Kadayif
Synthesis (HL, LS, PS)
Reversible Logic Synthesis for Minimization of Full-Adder Circuit / H. Babu ; R. Islam ; A. Chowdhury ; S. Chowdhury
Scheduling and Assignment for Real-time Embedded Systems with Resource Contention / L. Pontani ; D. Dupont
Multi Component Digital Circuit Optimization by Solving FSM Equations / N. Yevtushenko ; S. Zharikova ; M. Vetrova
DYNORA: A New Cache Technique / P. Srivatsan ; P. Sudarshan ; P. Bhaskaran
A Quadruple Precision and Dual Double Precision-Floating Point Multiplier / A. Akkas ; M. Schulte
Causality Constraints for Processor Architectures with Sub-Word Parallelism / R. Schaffer ; R. Merker ; F. Catthoor
A Methodology for the Design of AHB Bus Master Wrappers / M. Bertola ; G. Bois
A Constructive Algorithm with Look-Ahead for Mapping and Scheduling of Task Graphs with Conditional Edges / W. Brunnbauer ; T. Wild ; J. Foag ; N. Pazos
An Application of Functional Decomposition in ROM-Based FSM Implementation in FPGA Devices / M. Rawski ; H. Selvaraj ; T. Luba
Variations on Truncated Multiplication / J. Stine ; O. Duverne
Exploring Storage Organization in ASIP Synthesis / M. Jain ; M. Balakrishnan ; A. Kumar
RDSP: A RISC DSP Based on Residue Number System / R. Chaves ; L. Sousa
Operating Region Modelling of Deep-Submicron CMOS Buffers Driving Global Scope Inductive Interconnects / G. Cappuccino
A Scheduling and Partitioning Scheme for Low Power Circuit Operating at Multiple Voltages / L. Wang
Information-driven Library-Based Circuit Synthesis / L. Jozwiak ; S. Bieganski ; A. Chojnacki
Special Architectures
Low-power Branch Target Buffer for Application-Specific Embedded Processors
A Communication Model Based on an n-Dimensional Torus Architecture Using Deadlock-Free Wormhole Routing / P. Holzenspies ; E. Schepers ; W. Bach ; M. Jonker ; B. Sikkes ; G. Smit ; P. Havinga
A Development and Simulation Environment for a Floating Point Operations FPGA Based Accelerator / M. Bera ; G. Danese ; I. De Lotto ; F. Leporati ; A. Spelgatti
A Two-Step Genetic Algorithm for Mapping Task Graphs to a Network on Chip Architecture / T. Lei ; S. Kumar
System-on-a-Chip
A Novel Specification Model for IP-Based Design / S. Klaus ; S. Huss
An Efficient Implementation of Fair Load Balancing over Multi-CPU SOC Architectures / G. Kornaros ; T. Orphanoudakis ; N. Zervos
Design and FPGA Implementation of a Video Scalar with On-chip Reduced Memory Utilization / S. Ramachandran ; S. Srinivasan
Estimating the Utilization of Embedded FPGA Co-Processor / Y. Qu ; J. Soininen
A Dynamically Reconfigurable Accelerator for Operations over Boolean and Ternary Vectors / V. Sklyarov ; I. Skliarova ; A. Oliveira ; A. Ferrari
Fast Heuristics for the Edge Coloring of Large Graphs / M. Hilgemeier ; N. Drechsler ; R. Drechsler
Back-End Dynamic Resource Allocation Heuristics for Power-Aware High-Performance Clustered Architectures / A. Baniasadi
NOAH, A Tool for Augument Reduction, Serial and Parallel Decomposition of Decision Tables / M. Pleban ; H. Niewiadomski ; P. Buciak ; P. Sapiecha
Design Tools and Resusable Libraries for FPGA-Based Digital Circuits / P. Almeida ; M. Almeida
HW/SW Codesign Incorporating Edge Delays Using Dynamic Programming / K. Bhasyam ; K. Bazargan
Reconfigurable Randomized K-way Graph Partitioning / F. Kocan
Multiple Voltage and Frequency Scheduling for Power Minimization / B. Radhakrishnan ; M. Venkatesan
A Fast Additive Normalization Method for Exponential Computation / C. Chen ; R. Chen ; M. Sheu
A VLIW Architecture for Logarithmic Arithmetic / M. Arnold
System-on-a-Chip (2) and Validation/Verification
Testable Design Verification Using Petri Nets / R. Ruzicka
Hierarchical Constraint Conscious RT-level Test Generation / O. Sinanoglu
A System-on-Chip Implementation of the IEEE 802.11 a MAC Layer / G. Panic ; D. Dietterle ; Z. Stamenkovic ; K. Tittelbach-Helmrich
The Application of Formal Verification to SPW Designs / B. Akbarpour ; S. Tahar
Applications of (Embedded) Digital Systems
Successful Prototyping of a Real-Time Hardware Based Terrain Navigation Correlator Algorithm / F. Traugott ; K. Andersson ; A. Lofgren ; L. Lindh
A New Algorithm for High-Speed Projection in Point Rendering Applications / M. Amor ; M. Boo ; A. del Rio ; M. Wand ; W. Strasser
Sensor Platform Design for Automotive Applications / M. De Marinis ; L. Fanucci ; A. Giambastiani ; A. Renieri ; A. Rocchi ; C. Rosadini ; C. Sicilia ; D. Sicilia
Specification and Modeling
Modelling and Simulation of a Digital IC System Using SimulPet: Application to a Speech Coding Communication IC / R. Fernandez-Ramos ; J. Romero-Sanchez ; F. Rios-Gomez ; J. Martin-Canales
T&D-Bench+--A Software Environment for Modeling and Simulation of State-of-the-Art Processors / S. Soares ; F. Wagner
Back-Traced Deductive-Parallel Fault Simulation for Digital Systems / V. Hahanov ; R. Ubar ; S. Hyduke
Temperature Influence on Power Consumption and Time Delay / A. Golda ; A. Kos
A Real Time Low Latency, FPGA Implementation of the 2-D Discrete Wavelet Transformation for Streaming Image Applications / O. Benderli ; Y. Tekmen ; N. Ismailoglu
Understanding Video Pixel Processing Applications for Flexible Implementations / O. Gangwal ; J. Janssen ; S. Rathnam ; E. Bellers ; M. Duranton
Power/Area Analysis and Optimization of a DS-SS Receiver for an Integrated Sensor Microsystem / N. Aydin ; T. Arslan ; D. Cumming
A Power Reduction Scheme for Data Buses by Dynamic Detection of Active Bits / M. Muroyama ; A. Hyodo ; T. Okuma
Framed Complexity Analysis in SystemC for Multi-level Design Space Exploration / A. Wellig ; J. Zory
Poster Papers
Analytical Bounds on the Threads in IXP 1200 Network Processor / S. Ramakrishna ; H. Jamadagni
Concurrent Operation Scheduling and Unit Allocation with an Evolutionary Technique / G. Papa ; J. Silc
Exact Numerical Processing / J. Chamizo ; J. Pascual ; H. Mora
Stochastic Reconfigurable Hardware for Neural Networks / N. Nedjah ; L. Mourelle
An Iterative Improvement Co-synthesis Algorithm for Optimization of SOPC Architecture with Dynamically Reconfigurable FPGAs / R. Czarnecki ; S. Deniziak ; K. Sapiecha
Distributing SoC Simulations over a Network of Computers / J. Riihimaki ; V. Helminen ; K. Kuusilinna ; T. Hamalainen
FC-Min: A Fast Multi-Output Boolean Minimizer / P. Fiser ; J. Hlavicka ; H. Kubatova
A Methodology for Designing Communication Architectures for Multiprocessor SoCs / V. Dvorak ; V. Kutalek
Compiler-Directed Management of Instruction Accesses / G. Chen ; W. Zhang ; I. Kolcu ; U. Sezer
Test Scheduling for Embedded Systems / Z. Kotasek ; D. Mika ; J. Strnadel
Author Index
Message from the Program Chair
Conferences Committees
Keynote Speeches
7.

図書

図書
International Workshop on Exception Handling ; ACM SIGSOFT International Symposium on Foundations of Software Engineering
出版情報: New York : Association for Computing Machinery, c2008  68 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Comp Euro 88, Brussels, April 11-14, 1988, Campus V.U.B. (Vrije Universiteit Brussel) ; sponsored by Computer Society of the IEEE ... [et al.] ; supported by Vrije Universiteit Brussel ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  ix, 369 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by Gary M. Olson & Sue Schuon
出版情報: New York : Association for Computing Machinery, c1995  x, 268 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 185 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼