Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL Fulltext Access 19 Pages 2005
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets Fulltext Access 19 Pages 2005
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers Fulltext Access 19 Pages 2005
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality Fulltext Access 19 Pages 2005
Modular Architectural Representation and Analysis of Fault Propagation and Transformation Fulltext Access 19 Pages 2005
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions Fulltext Access 19 Pages 2005
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Fulltext Access 19 Pages 2005
Bounded Model Checking with SNF, Alternating Automata, and Büchi Automata Fulltext Access 19 Pages 2005
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude Fulltext Access 19 Pages 2005
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems Fulltext Access 19 Pages 2005
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Fulltext Access 20 Pages 2005
Adaptive traffic-based control method for energy conservation in wireless devices Fulltext Access 20 Pages 2005
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources Fulltext Access 20 Pages 2005
Selection of fire resistant hydraulic fluids through system modeling and simulation Fulltext Access 20 Pages 2005
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC Fulltext Access 20 Pages 2005
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting Fulltext Access 20 Pages 2005
Calculating the minimal fraction of thepopular vote to win the U.S. Presidency in the electoral college Fulltext Access 20 Pages 2005
Global stability and periodicity on SIS epidemic models with backward bifurcation Fulltext Access 20 Pages 2005
Algorithmic analysis of a multiserver markovian queue with primary and secondary services Fulltext Access 20 Pages 2005
New kamenev-type oscillation criteria for second-order differential equations on a measure chain Fulltext Access 20 Pages 2005
An efficient algorithm for finding dense regions for mining quantitative association rules Fulltext Access 20 Pages 2005
Integration of Reliability and Performance Analyses for Active Network Services Fulltext Access 20 Pages 2005
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis Fulltext Access 20 Pages 2005
Two-machine flowshop scheduling with job class setups to minimize total flowtime Fulltext Access 20 Pages 2005
Network decomposition-based benchmark results for the discrete time-cost tradeoff problem Fulltext Access 20 Pages 2005
Solving multi-objective production scheduling problems using metaheuristics Fulltext Access 20 Pages 2005
The impact of accessibility on the value of information and the productivity paradox Fulltext Access 20 Pages 2005
Heuristic scheduling of jobs on parallel batch machines with incompatible job families and unequal ready times Fulltext Access 20 Pages 2005
An assembly-type supply chain system controlled by kanbans under a just-in-time delivery policy Fulltext Access 20 Pages 2005
Ensemble strategies for a medical diagnostic decision support system: A breast cancer diagnosis application Fulltext Access 20 Pages 2005
On the construction of mutual fund portfolios: A multicriteria methodology and an application to the Greek market of equity mutual funds Fulltext Access 20 Pages 2005
Negotiation-based collaborative planning between supply chains partners Fulltext Access 20 Pages 2005
A stochastic approach to a case study for product recovery network design Fulltext Access 20 Pages 2005
Discrete bilevel programming: Application to a natural gas cash-out problem Fulltext Access 20 Pages 2005
Developing concurrent investment plans for power generation and transmission Fulltext Access 20 Pages 2005
A stochastic programming approach for supply chain network design under uncertainty Fulltext Access 20 Pages 2005
Improved local search algorithms for the rectangle packing problem with general spatial costs Fulltext Access 20 Pages 2005
Bicriteria train scheduling for high-speed passenger railroad planning applications Fulltext Access 20 Pages 2005
A new bounding mechanism for the CNC machine scheduling problems with controllable processing times Fulltext Access 20 Pages 2005
Controllability of second-order integrodifferential evolution systems in Banach spaces Fulltext Access 20 Pages 2005
A meshless method for solving the cauchy problem in three-dimensional elastostatics Fulltext Access 20 Pages 2005
Delay-dependent robust Hâ control of uncertain linear systems with time-varying delays Fulltext Access 20 Pages 2005