0803 Computer Software Concept

subject area of

• A Bayesian Approach for One-Shot Device Testing With Exponential Lifetimes Under Competing Risks  Academic Article
• A Branching Time Logical System for Open Distributed Systems Development  Academic Article
• A Comparison of Two Simple Prediction Intervals for Exponential Distribution  Academic Article
• A Computational Technique For Maximum Likelihood Estimation With Weibull Models  Academic Article
• A General Purpose Approximate Goodness-of-Fit Test for Progressively Type-II Censored Data  Academic Article
• A Meta-Analysis of Multisample Type-II Censored Data With Parametric and Nonparametric Results  Academic Article
• A Multiple-FPGA parallel computing architecture for real-time simulation of soft-object deformation  Academic Article
• A New Method for Goodness-of-Fit Testing Based on Type-II Right Censored Samples  Academic Article
• A Novel Algorithmic Approach to Aid Post-Silicon Delay Measurement and Clock Tuning  Academic Article
• A Proposed Measure of Residual Life of Live Components of a Coherent System  Academic Article
• A Software Certification Consortium and its Top 9 Hurdles  Academic Article
• A compositional Petri net translation of general π-calculus terms  Academic Article
• A correctness proof for combinator reduction with cycles  Academic Article
• A formal semantics for concurrent systems with a priority relation  Academic Article
• A novel blind detector for additive noise steganography in JPEG decompressed images  Academic Article
• A prime-factor decomposed algorithm for the discrete sine transform  Academic Article
• A simulation system for improving machining accuracy in milling  Academic Article
• A user-assisted approach to component clustering  Academic Article
• ACM Transactions on Design Automation of Electronic Systems  Journal
• ACM Transactions on Multimedia Computing, Communications and Applications  Journal
• ACM Transactions on Programming Languages and Systems  Journal
• ACM Transactions on Software Engineering and Methodology  Journal
• Accelerated Degradation Analysis for the Quality of a System Based on the Gamma Process  Academic Article
• Acta Informatica  Journal
• Adaptive blind image watermarking using edge pixel concentration  Academic Article
• Adaptive control for geometric tracking in turning  Academic Article
• Addenda and corrigenda  Academic Article
• Algebraic Composition of Function Tables  Academic Article
• An Algebraic Approach to Refinement with Fair Choice  Academic Article
• An Analysis of Hypermesh NoCs in FPGAs  Academic Article
• An Optimized Cell BE Special Function Library Generated by Coconut  Academic Article
• An adaptive LSB matching steganography based on octonary complexity measure  Academic Article
• An adaptive agent for case description in diagnostic CBR systems  Academic Article
• An algebra of product families  Academic Article
• An efficient high payload ±1 data embedding scheme  Academic Article
• An object model for dynamic mixins  Academic Article
• Approximate MLE of the scale parameter of the Rayleigh distribution with censoring  Academic Article
• Approximate MLEs for the location and scale parameters of the extreme value distribution with censoring  Academic Article
• Approximate MLEs for the location and scale parameters of the half-logistic distribution with type-II right-censoring  Academic Article
• Autopsy Data Analysis for a Series System With Active Redundancy Under a Load-Sharing Model  Academic Article
• Behavior-Based Access Control for Distributed Healthcare Environment  Academic Article
• Best Constant-Stress Accelerated Life-Test Plans With Multiple Stress Factors for One-Shot Device Testing Under a Weibull Distribution  Academic Article
• Building ease of use into the IBM user experience  Academic Article
• CORRECTION  Academic Article
• COSY ? a system specification language based on paths and processes  Academic Article
• Canonical prefixes of Petri net unfoldings  Academic Article
• Categorical foundations for structured specifications in $${\mathsf{Z}}$$ Z  Academic Article
• Categorical semantics of parallel program design  Conference Paper
• Comparison of manual and automated marking of student programs  Academic Article
• Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types  Academic Article
• Computer Languages, Systems and Structures Computer Languages  Journal
• Computer Standards and Interfaces  Journal
• Computers and Electrical Engineering  Journal
• Computers in Industry  Journal
• Conceptual modeling of data base operations  Academic Article
• Concurrency Computation Practice and Experience Concurrency Practice and Experience  Journal
• Consistent and complementary formal theories of the semantics of programming languages  Academic Article
• Cooperative Token-Ring Scheduling For Input-Queued Switches  Academic Article
• Correction to "A Comparison of Two Simple Prediction Intervals for Exponential Distribution"  Academic Article
• Correction to The Proof Of Theorem 2 In "parallel Signature Analysis Design With Bounds On Allasing"  Academic Article
• Corrections on "Optimal Step-Stress Test Under Progressive Type-I Censoring  Academic Article
• DFT infrastructure for broadside two-pattern test of core-based SOCs  Academic Article
• DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING  Academic Article
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance  Academic Article
• Design and Implementation of Holistic Scheduling and Efficient Storage for FlexRay  Academic Article
• Design principles for practical self-routing nonblocking switching networks with O(N·log N) bit-complexity  Academic Article
• Dynamite  Academic Article
• EM Algorithm for One-Shot Device Testing With Competing Risks Under Weibull Distribution  Academic Article
• Editorial  Academic Article
• Editorial  Academic Article
• Editorial: Silicon debug and diagnosis  Academic Article
• Efficient Analysis of DynAlloy Specifications  Academic Article
• Electronic Notes in Theoretical Computer Science  Journal
• End-to-end delay control of multimedia applications over multihop wireless links  Academic Article
• Exact Inference for Laplace Quantile, Reliability, and Cumulative Hazard Functions Based on Type-II Censored Data  Academic Article
• Exact Nonparametric Inference for Component and System Lifetime Distributions Based on Joint Signatures  Academic Article
• Exact Nonparametric Meta-Analysis of Lifetime Data From Systems With Known Signatures  Academic Article
• Expectation Maximization Algorithm for One Shot Device Accelerated Life Testing with Weibull Lifetimes, and Variable Parameters over Stress  Academic Article
• Exploring Tabular Verification and Refinement  Academic Article
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages  Academic Article
• Formal Aspects of Computing  Journal
• Formal Methods in System Design  Journal
• Formal semantics of a class of high-level primitives for coordinating concurrent processes  Academic Article
• Formal verification of function blocks applied to IEC 61131-3  Academic Article
• Foundations of the trace assertion method of module interface specification  Academic Article
• Framework for robust blind image watermarking based on classification of attacks  Academic Article
• Fundamentals of modelling concurrency using discrete relational structures  Academic Article
• Gaussian Elimination: A case study in efficient genericity with MetaOCaml  Conference Paper
• Generating Cyclic-Random Sequences in a Constrained Space for In-System Validation  Academic Article
• Goodness of Fit Using a New Estimate of Kullback-Leibler Information Based on Type II Censored Data  Academic Article
• Goodness-of-Fit Test Based on Kullback-Leibler Information for Progressively Type-II Censored Data  Academic Article
• Goodness-of-Fit Tests Based on Spacings for Progressively Type-II Censored Data From a General Location-Scale Distribution  Academic Article
• Gravity  Academic Article
• Guest Editorial: Special Issue on Cyber-Physical Systems and Services  Academic Article
• Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574  Academic Article
• Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems  Academic Article
• Hierarchical watermarking framework based on analysis of local complexity variations  Academic Article
• Higher order data types  Academic Article
• IBM Systems Journal  Journal
• IEE Proceedings: Software IET Software  Journal
• IEEE Software  Journal
• IEEE Transactions on Computers  Journal
• IEEE Transactions on Parallel and Distributed Systems  Journal
• IEEE Transactions on Reliability  Journal
• IEEE Transactions on Services Computing  Journal
• IEEE Transactions on Software Engineering  Journal
• IET Computers and Digital Techniques  Journal
• Image retargeting using nonparametric semantic segmentation  Academic Article
• Implementability of requirements in the four-variable model  Academic Article
• Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods  Academic Article
• Inequational Deduction as Term Graph Rewriting  Academic Article
• Inference for a Simple Step-Stress Model With Type-II Censoring, and Weibull Distributed Lifetimes  Academic Article
• Informatica (Slovenia)  Journal
• Information and Software Technology  Journal
• Inspection's role in software quality assurance  Academic Article
• Integration of sequential scenarios  Conference Paper
• International Journal of Computer Networks and Communications  Journal
• International Journal of Parallel Programming International Journal of Computer and Information Sciences  Journal
• International Journal of Software Engineering and Knowledge Engineering  Journal
• International Journal on Software Tools for Technology Transfer Software-Concepts and Tools  Journal
• Journal of Computer Security  Journal
• Journal of Functional Programming  Journal
• Journal of Software Maintenance and Evolution Journal of Software Maintenance  Journal
• Journal of Systems Architecture  Journal
• Journal of Systems and Software  Journal
• Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement  Academic Article
• Likelihood Inference Based on Left Truncated and Right Censored Data From a Gamma Distribution  Academic Article
• Likelihood Inference Under Proportional Hazards Model for One-Shot Device Testing  Academic Article
• Linear Inference for Type-II Censored Lifetime Data of Reliability Systems With Known Signatures  Academic Article
• Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems  Academic Article
• Logical Methods in Computer Science  Journal
• Mapping Trigger Conditions onto Trigger Units during Post-silicon Validation and Debugging  Academic Article
• Mean Residual Life Function, Associated Orderings and Properties  Academic Article
• Merged processes: a new condensed representation of Petri net behaviour  Academic Article
• Message oriented programming—A resource based methodology  Academic Article
• Minimum-Distance Parametric Estimation Under Progressive Type-I Censoring  Academic Article
• Model Mis-Specification Analyses of Weibull and Gamma Models Based on One-Shot Device Test Data  Academic Article
• Modeling Parameters of a Load-Sharing System Through Link Functions in Sequential Order Statistics Models and Associated Inference  Academic Article
• Modeling biological gradient formation: combining partial differential equations and Petri nets  Academic Article
• Modular array structure for non-restoring square root circuit  Academic Article
• Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code  Academic Article
• Multimedia Systems Multimedia Tools and Applications  Journal
• Multiple scan chains for power minimization during test application in sequential circuits  Academic Article
• Multiple-Stress Model for One-Shot Device Testing Data Under Exponential Distribution  Academic Article
• Natural Computing  Journal
• NoC-Based FPGA Acceleration for Monte Carlo Simulations with Applications to SPECT Imaging  Academic Article
• On Using Lossy Compression for Repeatable Experiments during Silicon Debug  Academic Article
• On a formal semantics of tabular expressions  Academic Article
• On the Permutation Capability of Multistage Interconnection Networks  Academic Article
• On the computation and the effectiveness of discrete sine transform  Academic Article
• On the design and specification of message oriented programs  Academic Article
• On tractability and congruence distributivity  Academic Article
• Optimal Burn-In Policy for Highly Reliable Products Using Gamma Degradation Process  Academic Article
• Optimal Design for Accelerated-Stress Acceptance Test Based on Wiener Process  Academic Article
• Optimal Design for Degradation Tests Based on Gamma Processes With Random Effects  Academic Article
• Optimal Step-Stress Accelerated Degradation Test Plan for Gamma Degradation Processes  Academic Article
• Optimal Step-Stress Test Under Progressive Type-I Censoring  Academic Article
• Order Restricted Inference for Exponential Step-Stress Models  Academic Article
• PREDICTIVE TRACES IN HYBRID SYSTEMS  Academic Article
• Panoptes  Academic Article
• Paradigm for compliant motion control in environments with unknown or variable dynamics  Academic Article
• Parallel computing strategies in the analysis of the inhibiting effect of price limits on futures prices  Academic Article
• Parallel implementation of the extended square-root covariance filter for tracking applications  Academic Article
• Partial evaluation of Maple  Academic Article
• Point and interval estimation for Gaussian distribution, based on progressively type-II censored samples  Academic Article
• Preface  Academic Article
• Preface  Academic Article
• Preface  Academic Article
• Pyramidal modeling of geometric distortions for retargeted image quality evaluation  Academic Article
• Quality of Decision Rules: Empirical and Statistical Approaches.  Academic Article
• Real-time lossless compression of microarray images by separate compaction of foreground and background  Academic Article
• Reasoning about static and dynamic properties in alloy  Academic Article
• Recursion and Petri nets  Academic Article
• Refinement and Development of Programs from Relational Specifications  Academic Article
• Relational structures model of concurrency  Academic Article
• Reliability Inference on Composite Dynamic Systems Based on Burr Type-XII Distribution  Academic Article
• Reliability sampling plans for lognormal distribution, based on progressively-censored samples  Academic Article
• Requirements Scenarios Formalization Technique  Academic Article
• Reversible computation vs. reversibility in Petri nets  Academic Article
• Robust image watermarking scheme using bit-plane of hadamard coefficients  Academic Article
• Science of Computer Programming  Journal
• Signature required: Making Simulink data flow and interfaces explicit  Academic Article
• Simple and efficient motion estimation algorithm by continuum search  Academic Article
• Simulation relations for fault-tolerance  Academic Article
• Software and Systems Modeling  Journal
• Software engineering practices and Simulink: bridging the gap  Academic Article
• Software tools for safety-critical software development  Academic Article
• Some advanced control strategies for modern machine tools  Academic Article
• Statistical Inference of Component Lifetimes With Location-Scale Distributions From Censored System Failure Data With Known Signature  Academic Article
• Step coverability algorithms for communicating systems  Academic Article
• Step semantics of boolean nets  Academic Article
• Step traces  Academic Article
• Stochastic Comparisons of Series and Parallel Systems With Generalized Exponential Components  Academic Article
• Strategy based semantics for mobility with time and access permissions  Academic Article
• Surface accuracy control in end milling using adaptive state tracking  Academic Article
• Synchronizing events in replicated systems  Academic Article
• TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds  Academic Article
• Tabular Verification and Refinement  Academic Article
• Temporal theories as modularisation units for concurrent system specification  Academic Article
• Testing Exponentiality Based on Kullback-Leibler Information With Progressively Type-II Censored Data  Academic Article
• The Generalized Loneliness Detector and Weak System Models for k-Set Agreement  Academic Article
• The Merlin-Randell problem of train journeys  Academic Article
• The role of inspection in software quality assurance  Academic Article
• Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development  Academic Article
• Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses  Academic Article
• Transactions on Embedded Computing Systems  Journal
• Transformations of normal and inverted function tables  Academic Article
• Use of symmetry in prediction-error field for lossless compression of 3D MRI images  Academic Article
• Using autonomous components to improve runtime qualities of software  Academic Article
• Using horizontal prefetching to circumvent the jump problem  Academic Article
• Verification of bounded Petri nets using integer programming  Academic Article
• Wireless Mesh Network Performance for Urban Search and Rescue Missions  Academic Article