Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
IEEE Transactions on Computers - The MIT Press scientific computation series
Provably Conservative Approximations to Complex Reliability Models
IEEE Transactions on Computers - The MIT Press scientific computation series
Analysis of a composite performance reliability measure for fault-tolerant systems
Journal of the ACM (JACM)
A continuum of disk scheduling algorithms
ACM Transactions on Computer Systems (TOCS)
Analytic Queueing Network Models for Parallel Processing of Task Systems
IEEE Transactions on Computers
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
IEEE Transactions on Computers
Measurement-Based Analysis of Error Latency
IEEE Transactions on Computers
IBM Journal of Research and Development
Performance Modeling Based on Real Data: A Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Computing Optimal Checkpointing Strategies for Rollback and Recovery Systems
IEEE Transactions on Computers - Fault-Tolerant Computing
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
The limited performance benefits of migrating active processes for load sharing
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Sensitivity analysis of reliability and performability measures for multiprocessor systems
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
STAFAN: An alternative to fault simulation
25 years of DAC Papers on Twenty-five years of electronic design automation
An Integrated Approach to Distributed Demand Assignment in Multiple-Bus Local Networks
IEEE Transactions on Computers
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Performance of the Direct Binary n-Cube Network for Multiprocessors
IEEE Transactions on Computers
Dependability evaluation of a class of multi-loop topologies for local area networks
IBM Journal of Research and Development
Bounding availability of repairable computer systems
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Evaluation of retransmission strategies in a local area network environment
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
GAMMON: A Load Balancing Strategy for Local Computer Systems with Multiaccess Networks
IEEE Transactions on Computers
Multistage Interconnection Network Reliability
IEEE Transactions on Computers
The Mean Resequencing Delay for M/H/sub K// Infinity Systems
IEEE Transactions on Software Engineering
Bounding Availability of Repairable Systems
IEEE Transactions on Computers
Steady-state simulation of queueing processes: survey of problems and solutions
ACM Computing Surveys (CSUR)
Dynamic voting algorithms for maintaining the consistency of a replicated database
ACM Transactions on Database Systems (TODS)
Performance Evaluation of a Dataflow Architecture
IEEE Transactions on Computers
On Reliability Modeling of Closed Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Cellular automata circuits for built-in self test
IBM Journal of Research and Development
Analyzing Scheduled Maintenance Policies for Repairable Computer Systems
IEEE Transactions on Computers
Simultaneous analysis of flow and error control strategies with congestion-dependent errors
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Analysis of critical architectural and programming parameters in a hierarchical
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Evaluation of queuing system parameters using linear algebraic queuing theory—an implementation
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Comparative Analysis of Different Models of Checkpointing and Recovery
IEEE Transactions on Software Engineering
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation
IEEE Transactions on Computers
Understanding fault-tolerant distributed systems
Communications of the ACM
Real-time Systems Performance in the Presence of Failures
Computer - Special issue on real-time systems
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
Cost-performance analysis of heterogeneity in supercomputer architectures
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Performance estimation in a massively parallel system
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Parametrized algorithm decomposition and performance analysis
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Performance prediction and tuning on a multiprocessor
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
Performance prediction of distributed load balancing on multicomputer systems
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
A distribution-free random number generator via a matrix-exponential representation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Effect of Fault Tolerance on Response Time-Analysis of the Primary Site Approach
IEEE Transactions on Computers
Time warp simulation using time scale decomposition
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A General Model for Performance Investigations of Priority Based Multiprocessor System
IEEE Transactions on Computers
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Analysis and Modeling of Correlated Failures in Multicomputer Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
The cost of conservative synchronization in parallel discrete event simulations
Journal of the ACM (JACM)
Waiting algorithms for synchronization in large-scale multiprocessors
ACM Transactions on Computer Systems (TOCS)
Load testing software using deterministic state testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
From CSP Models to Markov Models
IEEE Transactions on Software Engineering
The influence of random delays on parallel execution times
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
MEASURE+: a measurement-based dependability analysis package
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On the sensitivity of transient solutions of Markov models
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Self-scheduling on distributed-memory machines
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
Computing bounds on steady state availability of repairable computer systems
Journal of the ACM (JACM)
Reliability analysis of the double counter-rotating ring with concentrator attachments
IEEE/ACM Transactions on Networking (TON)
WSC '94 Proceedings of the 26th conference on Winter simulation
Probabilistic analysis of large finite state machines
DAC '94 Proceedings of the 31st annual Design Automation Conference
Performance analysis and optimization of schedules for conditional and loop-intensive specifications
DAC '94 Proceedings of the 31st annual Design Automation Conference
Teaching elementary queueing theory with a computer algebra system
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Evaluating FTRE's for Dependability Measures in Fault Tolerant Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Disjoint Task Allocation Algorithms for MIN Machines with Minimal Conflicts
IEEE Transactions on Parallel and Distributed Systems
Efficient support for scan operations in video servers
Proceedings of the third ACM international conference on Multimedia
Floor acquisition multiple access (FAMA) for packet-radio networks
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
An efficient architecture for fault-tolerant ATM switches
IEEE/ACM Transactions on Networking (TON)
A Fault-Tolerant Algorithm for Replicated Data Management
IEEE Transactions on Parallel and Distributed Systems
A case for two-level distributed recovery schemes
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Transformation and synthesis of FSMs for low-power gated-clock implementation
ISLPED '95 Proceedings of the 1995 international symposium on Low power design
Formulation and evaluation of scheduling techniques for control flow graphs
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Execution Time Analysis of Communicating Tasks in Distributed Systems
IEEE Transactions on Computers
Minimizing completion time of a program by checkpointing and rejuvenation
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Generating efficient protocol code from an abstract specification
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
Maximizing Mean-Time to Failure in k-Resilient Systems with Repair
IEEE Transactions on Computers
Fast restoration of real-time communication service from component failures in multi-hop networks
SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
Analytical Performance Modeling of Hierarchical Mass Storage Systems
IEEE Transactions on Computers
Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme
IEEE Transactions on Computers
A class of mobile motion prediction algorithms for wireless mobile computing and communication
Mobile Networks and Applications - Special issue: routing in mobile communications networks
A Primary-Backup Channel Approach to Dependable Real-Time Communication in Multihop Networks
IEEE Transactions on Computers
Towards a model of user perception of computer systems response time
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Accelerated reliability analysis for self-healing SONET networks
Proceedings of the ACM SIGCOMM '98 conference on Applications, technologies, architectures, and protocols for computer communication
Node sampling: a robust RTL power modeling approach
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Dynamic power management of electronic systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Statistical Delay Fault Coverage Estimation for Synchronous Sequential Circuits
Journal of Electronic Testing: Theory and Applications
Randomized and adversarial load balancing
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Non-stationary effects in trace-driven power analysis
ISLPED '99 Proceedings of the 1999 international symposium on Low power electronics and design
Efficient support for interactive operations in multi-resolution video servers
Multimedia Systems - Special issue on video content based retrieval
The effect of failure and repair distributions on consistency protocols for replicated data objects
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Floor acquisition multiple access (FAMA) in single-channel wireless networks
Mobile Networks and Applications
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Design and analysis of fault-tolerant multistage interconnection networks with low link complexity
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Failure recovery algorithms for multimedia servers
Multimedia Systems
An efficient and effective performance evaluation method for multiprogrammed multiprocessor systems
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Task response time optimization using cost-based operation motion
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
On Performance Prediction of Parallel Computations with Precedent Constraints
IEEE Transactions on Parallel and Distributed Systems
Exploiting Fine-Grained Idle Periods in Networks of Workstations
IEEE Transactions on Parallel and Distributed Systems
Teraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms
IEEE Transactions on Computers
Memory Hierarchy Considerations for Cost-Effective Cluster Computing
IEEE Transactions on Computers
The Maximum Factor Queue Length Batching Scheme for Video-on-Demand Systems
IEEE Transactions on Computers
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Analysis of a BICS-Only Concurrent Error Detection Method
IEEE Transactions on Computers
A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers
IEEE Transactions on Computers
Linger Longer: fine-grain cycle stealing for networks of workstations
SC '98 Proceedings of the 1998 ACM/IEEE conference on Supercomputing
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Integrated Performance Models for SPMD Applications and MIMD Architectures
IEEE Transactions on Parallel and Distributed Systems
Representing software usage models with stochastic automata networks
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
On the sensitivity analysis of the expected accumulated reward
Performance Evaluation
A time/structure based software reliability model
Annals of Software Engineering
Annals of Software Engineering
Annals of Software Engineering
Is Sampling Useful in Data Mining? A Case in the Maintenance of Discovered Association Rules
Data Mining and Knowledge Discovery
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
A Model for Availability of Quality of Service in Distributed Multimedia Systems
Multimedia Tools and Applications
Input Multiplexing in Artificial Neurons Employing Stochastic Arithmetic
Neural Processing Letters
Comparison between the Spectral Efficiency of SDMA Systems and Sectorized Systems
Wireless Personal Communications: An International Journal
Query processing and inverted indices in shared: nothing text document information retrieval systems
The VLDB Journal — The International Journal on Very Large Data Bases - Parallelism in database systems
IEEE Design & Test
Performance Modeling and Measurements of Real Time Multiprocessors with Time-Shared Buses
IEEE Transactions on Computers
Dependability Measurement and Modeling of a Multicomputer System
IEEE Transactions on Computers
Borrow: A Fault-Tolerance Scheme for Wavefront Array Processors
IEEE Transactions on Computers
Computing Reliability Intervals for k-Resilient Protocols
IEEE Transactions on Computers
Flexible and Adaptable Buffer Management Techniques for Database Management Systems
IEEE Transactions on Computers
Dynamic Power Management for Nonstationary Service Requests
IEEE Transactions on Computers
A Probabilistic Limit on the Virtual Size of Replicated Disk Systems
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of a Concurrent File Reorganization Algorithm for Record Clustering
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Dynamic Finite Versioning Schemes: Storage Cost vs. Obsolescence
IEEE Transactions on Knowledge and Data Engineering
Data Resource Selection in Distributed Visual Information Systems
IEEE Transactions on Knowledge and Data Engineering
Load Sharing in Distributed Multimedia-on-Demand Systems
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Distributed Deadlock Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
Scheduling Algorithms for the Broadcast Delivery of Digital Products
IEEE Transactions on Knowledge and Data Engineering
Conservative Parallel Simulation of Priority Class Queuing Networks
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of the Communication Architecture of the Connection Machine
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Performance Evaluation of Client-Server Systems
IEEE Transactions on Parallel and Distributed Systems
Aggressive Transmissions of Short Messages Over Redundant Paths
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Response Time Analysis of Parallel Computer and Storage Systems
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Integrated Performance Models for SPMD Applications and MIMD Architectures
IEEE Transactions on Parallel and Distributed Systems
Resource Allocation for Primary-Site Fault-Tolerant Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Optimum Control Limits for Employing Statistical Process Control in Software Process
IEEE Transactions on Software Engineering
Assessing Error Detection Coverage by Simulated Fault Injection
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Good Processor Management = Fast Allocation + Efficient Scheduling
ICPP '97 Proceedings of the international Conference on Parallel Processing
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
On the Structure of Concurrent Interpreters
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
An Accurate Model for the Performance Analysis of Deterministic Wormhole Routing
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Data Staging for On-Demand Broadcast
Proceedings of the 27th International Conference on Very Large Data Bases
Predictive Load Control for Flexible Buffer Allocation
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
A Program Behavior Model and Its Evaluation
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A New Reliability Model for Interconnection Networks
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Performance Prediction of Data-Dependent Task Parallel Programs
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Compositional Construction of Simulation Models Using Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Product Form Queueing Networks
Performance Evaluation: Origins and Directions
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
SREPT: Software Reliability Estimation and Prediction Tool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Reliability and Performability Modeling Using SHARPE 2000
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Sensitivity Analysis of the Expected Accumulated Reward Using Uniformization and IRK3 Methods
NAA '00 Revised Papers from the Second International Conference on Numerical Analysis and Its Applications
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Model Validation Using Simulated Data
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
A quasi-barrier technique to improve performance of an irregular application
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
Recoverable mobile environment: design and trade-off analysis
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
STAFAN: An alternative to fault simulation
DAC '84 Proceedings of the 21st Design Automation Conference
A Simulation Algorithm for Source Terminal Communication Network Reliability
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
On-Board Preventive Maintenance: Analysis of Effectiveness and Optimal Duty Period
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
COMBINATIONAL LOGIC SYNTHESIS FOR DIVERSITY IN DUPLEX SYSTEMS
ITC '00 Proceedings of the 2000 IEEE International Test Conference
On-line Testing and Recovery in TMR Systems for Real-Time Applications
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Hierarchical Performance Modeling for Distributed System Architectures
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Evaluating Distributed Checkpointing Protocol
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Unification of finite failure non-homogeneous Poisson process models through test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Confidence Interval Estimation of NHPP-Based Software Reliability Models
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Failure Correlation in Software Reliability Models
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Evaluation of Software Dependability Based on Stability Test Data
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Combined Elapsed Time and Matrix-Analytic Method for the Discrete Time GI/G/1 and GIX/G/1 Systems
Queueing Systems: Theory and Applications
Asynchronous Scheduling of Redundant Disk Arrays
IEEE Transactions on Computers
Is the round-trip time correlated with the number of packets in flight?
Proceedings of the 3rd ACM SIGCOMM conference on Internet measurement
Experiments with autonomous test of PLAs
EURO-DAC '91 Proceedings of the conference on European design automation
The Case for Lifetime Reliability-Aware Microprocessors
Proceedings of the 31st annual international symposium on Computer architecture
IEEE Transactions on Parallel and Distributed Systems
A self-stabilizing algorithm for maximal 2-packing
Nordic Journal of Computing
Performance modelling of computer networks
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Exploiting Structural Duplication for Lifetime Reliability Enhancement
Proceedings of the 32nd annual international symposium on Computer Architecture
On the query refinement in the ontology-based searching for information
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
IEEE Transactions on Dependable and Secure Computing
Semi-numerical transient analysis of Markov models
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
Journal of Parallel and Distributed Computing - Special issue on parallel bioinspired algorithms
System-level performance/power analysis for platform-based design of multimedia applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Lottery scheduling: flexible proportional-share resource management
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Predicting file system actions from prior events
ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference
Reliable multipath provisioning for high-capacity backbone mesh networks
IEEE/ACM Transactions on Networking (TON)
A simple automata based model for stable routing in dynamic ad hoc networks
Proceedings of the 2nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Analytic Queueing Models for Programs with Internal Concurrency
IEEE Transactions on Computers
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
IEEE/ACM Transactions on Networking (TON)
Priority-enabled optical shared protection: An online efficiency evaluation study
Computer Communications
A hybrid closed queuing network approach to model dataflow in networked distributed processors
Computer Communications
Model-based performance evaluation of distributed checkpointing protocols
Performance Evaluation
Optimal routing for SIP-based session set up over IMS in mobile environment
International Journal of Internet Protocol Technology
An analytical model for performance evaluation in a computational grid
CHINA HPC '07 Proceedings of the 2007 Asian technology information program's (ATIP's) 3rd workshop on High performance computing in China: solution approaches to impediments for high performance computing
Graphical IDDQ signatures reduce defect level and yield loss
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
An adaptive approach for ensuring reliability in event based middleware
Proceedings of the second international conference on Distributed event-based systems
Activity routing in a distributed supply chain: Performance evaluation with two inputs
Journal of Network and Computer Applications
Encountering gate oxide breakdown with shadow transistors to increase reliability
Proceedings of the 21st annual symposium on Integrated circuits and system design
A closed queuing network model with multiple servers for multi-threaded architecture
Computer Communications
C programming on waiting line systems
ELECTROSCIENCE'08 Proceedings of the 6th WSEAS International Conference on Applied Electromagnetics, Wireless and Optical
Intelligent Behavior Generation of Benevolent Agents with a Stochastic Model of Emotion
Neural Information Processing
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Dealing with Process Overload Attacks in UNIX
Information Security Journal: A Global Perspective
A hybrid open queuing network model approach for multi-threaded dataflow architecture
Computer Communications
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Rethinking FTP: Aggressive block reordering for large file transfers
ACM Transactions on Storage (TOS)
On Modeling Counteraction against TCP SYN Flooding
Information Networking. Towards Ubiquitous Networking and Services
A systematic approach to system state restoration during storage controller micro-recovery
FAST '09 Proccedings of the 7th conference on File and storage technologies
Response-Time Modeling of Controller Area Network (CAN)
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Modular data centers: how to design them?
Proceedings of the 1st ACM workshop on Large-Scale system and application performance
SLA Design and Service Provisioning for Outsourced Services
Journal of Network and Systems Management
The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops
Reliability and fault tolerance of coverage models for sensor networks
International Journal of Sensor Networks
Priority-aware optical shared protection: An offline evaluation study
Computer Communications
Video interactions in online video social networks
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
TSAR: Type-Specific Adaptive Routing for Reliability in Event-based Middleware
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Estimating the rate of web page updates
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A hybrid closed queuing network model for multi-threaded dataflow architecture
Computers and Electrical Engineering
State diagrams and steady-state balance equations for open queuing network models
Computers and Electrical Engineering
Performance modeling of slotted MACA-BI MAC protocol for mobile ad hoc networks
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Availability analysis of blade server systems
IBM Systems Journal
Proactive management of software aging
IBM Journal of Research and Development
Business-Driven Design of Infrastructures for IT Services
Journal of Network and Systems Management
Performance Evaluation of Security Protocols Specified in LySa
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric Performance Contracts for QML-specified Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
On the query refinement in the ontology-based searching for information
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
A unified approach for scheduling and allocation
Integration, the VLSI Journal
On provisioning in all-optical networks: an impairment-aware approach
IEEE/ACM Transactions on Networking (TON)
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Journal of Parallel and Distributed Computing
GLFSR: a new test pattern generator for built-in-self-test
ITC'94 Proceedings of the 1994 international conference on Test
Designs for dlagnosablllty and reliability in VLSI systems
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Statistical analysis and modeling of peer-to-peer multimedia traffic
Network performance engineering
Proceedings of the 2010 Summer Computer Simulation Conference
Modeling uncertain temporal evolutions in model-based diagnosis
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Predicting mean service execution times of software components based on markov models
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
On evaluating the performance of security protocols
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Feature-based synchronization of video and background music
IWICPAS'06 Proceedings of the 2006 Advances in Machine Vision, Image Processing, and Pattern Analysis international conference on Intelligent Computing in Pattern Analysis/Synthesis
Software reliability assessment based on the evaluation of operational experience
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Architecture-Driven reliability and energy optimization for complex embedded systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
SLA design from a business perspective
DSOM'05 Proceedings of the 16th IFIP/IEEE Ambient Networks international conference on Distributed Systems: operations and Management
Block loss reduction in ATM networks
Computer Communications
Analysis of an access node multiplexer in a system serving CBR and VBR traffic
Computer Communications
Transient Solution of a two-processor heterogeneous systems
Mathematical and Computer Modelling: An International Journal
Stochastic modelling of flexible manufacturing systems
Mathematical and Computer Modelling: An International Journal
The method of characteristics applied to a stochastic two-stage model of carcinogenesis
Mathematical and Computer Modelling: An International Journal
Homogeneous finite-source retrial queues with server subject to breakdowns and repairs
Mathematical and Computer Modelling: An International Journal
On detecting parallelism in software
Journal of Systems and Software
On modelling the performance and reliability of multimode computer systems
Journal of Systems and Software
Uniformization for nonhomogeneous Markov chains
Operations Research Letters
Confidence interval for M/M/2 queue with heterogeneous servers
Operations Research Letters
| Hi-index | 0.13 |