Browse by Subject

Related Papers

2007	Advances in analytics: Integrating dynamic data mining with simulation optimization
2006	A spatially detailed myofilament model as a basis for large-scale biological simulations
2006	An assessment of the role of computing in systems biology
2006	Application of full-system simulation in exploratory system design and development
2006	Computational multiscale modeling in the IUPS Physiome Project: Modeling cardiac electromechanics
2006	Modeling wire delay, area, power, and performance in a simulation infrastructure
2006	Multiscale biosystems integration: Coupling intracellular network analysis with tissue-patterning simulations
2005	Early performance data on the Blue Matter molecular simulation framework
2005	Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems
2005	Overview of molecular dynamics techniques and early scientific results from the Blue Gene project
2004	Accelerating system integration by enhancing hardware, firmware, and co-simulation
2004	Configurable system simulation model build comprising packaging design data
2004	IBM eServer z990 improvements in firmware simulation
2004	Novel efficient techniques for computer simulation of magnetic recording
2004	Simulations of magnetic materials with MDGRAPE-2
2004	The pursuit of the whole NChilada: Virtual petaflops using multi-adaptive algorithms for gravitational systems
2003	Design and validation of a performance and power simulator for PowerPC systems
2003	Design of optical communications data links
2003	New methodology for early-stage, microarchitecture-level power-performance analysis of microprocessors
2003	On the performance and use of dense servers
2002	Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification
2002	IBM eServer z900 system microcode verification by simulation: The virtual power-on process
2002	z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900
2001	Computer simulations for organic light-emitting diodes
2001	Interfacing molecular dynamics with continuum dynamics in computer simulation: Toward an application to biological membranes
1998	Modular nets (MNETS): A modular design methodology for computer timers
1998	Understanding crosstalk in high-resolution color thin-film-transistor liquid crystal displays
1997	Designer-level verification using TIMEDIAG/GENRAND
1997	Formal verification made easy
1997	Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system
1997	Impact of lens aberrations on optical lithography
1997	NStrace: A bus-driven instruction trace tool for PowerPC microprocessors
1997	Run-control and service element code simulation for the S/390 microprocessor
1997	SimAPI—A common programming interface for simulation
1997	Simulation/evaluation environment for a VLIW processor architecture
1997	The role of two-cycle simulation in the S/390 verification process
1996	Architectural verification of advanced storage controllers
1996	Computer-aided 3D tolerance analysis of disk drives
1995	VLSI on-chip interconnection performance simulations and measurements
1994	ABC: A better control for manufacturing
1994	SCISM: A scalable compound instruction set machine
1993	Flexible simulation of a complex semiconductor manufacturing line using a rule-based system
1992	Simulation of IBM Enterprise System/9000 Models 820 and 900
1991	A numerically intensive computing environment: IBM 3090 and the PS/2 Model 80
1991	An interactive graphic tool to plot the structure of large sparse matrices
1991	Application of visualization tools in solid mechanics
1991	Correlative visualizaton techniques for multidimensional data
1991	Data visualization using a general-purpose renderer
1991	Displaying morphological and lithological maps: A numerically intensive computing and visualization application
1991	FEMvis: An interactive visualization tool for mechanical analysis
1991	Graphic workstations and supercomputers: An integrated environment for simulation of fluid dynamics problems
1991	IDB: An image database system
1991	Interactive analysis of the topology of 4D vector fields
1991	Interactive Quantitative Visualization
1991	Picture processing and three-dimensional visualization of data from scanning tunneling and atomic force microscopy
1991	Picturing randomness on a graphics supercomputer
1991	The art of fractal landscapes
1991	Visual interpretation of multidimensional computations and transistor design
1991	Visualization in a VLSI design automation system
1991	Visualization of molecular dynamics via ray-tracing and animation in a vectorized environment
1991	Visualizing parallel execution of FORTRAN programs
1991	Visualizing processes in neural networks
1991	Visualizing structure in high-dimensional multivariate data
1991	Volume visualization of 3D finite element method results
1990	A simple finite element model for reactive sputter-deposition systems
1990	Computer-aided design of slider bearings in magnetic disk files
1990	Finite element analysis of planar stress anisotropy and thermal behavior in thin films
1990	High-speed signal propagation on lossy transmission lines
1990	Thermoelastic behavior of X-ray lithography masks during irradiation
1989	Modeling and image processing for visualization of volcanic mapping
1989	The dynamics of slider bearings during contacts between slider and disk
1987	Drop formation by DOD ink-jet nozzles: A comparison of experiment and numerical simulation
1986	Monte Carlo photon transport on a vector supercomputer
1986	On yield, fault distributions, and clustering of particles
1986	Symmetric stochastic Petri nets
1985	Integrated Manufacturing Modeling System
1985	Regenerative simulation methods for local area computer networks
1983	Digital Simulation of Magnetic Czochralski Flow Under Various Laboratory Conditions for Silicon Growth
1983	Simulation of Non-Markovian Systems
1982	A Bipolar VLSI Custom Macro Physical Design Verification Strategy
1982	A VLSI Design Verification Strategy
1982	Design Verification System for Large-Scale LSI Designs
1981	Adaptive Spectral Methods for Simulation Output Analysis
1981	An Emulation System for Programmable Sensory Robots
1981	Computer Simulation of High-Resolution Electron Micrographs Using Dynamical Electron Scattering
1981	Computer Simulations of Complex Chemical Systems: Solvation of DNA and Solvent Effects in Conformational Transitions
1980	Estimation of State Probabilities Using the Maximum Entropy Principle
1980	Variance Reduction Techniques for the Simulation of Markov Processes, I: Multiple Estimates
1979	A Numerical and Experimental Study of the Bistable-Unstable Transition in Pressurized Flexible Disk Files
1979	Study of Head-Tape Interaction in High Speed Rotating Head Recording
1978	Paper Servo Design for a High Speed Printer Using Simulation
1978	Solar Radiative Heating in the Presence of Aerosols
1975	Design of Experiments in Simulator Validation
1975	Introduction to Regenerative Simulation
1975	Regenerative Simulation of a Queuing Model of an Automated Tape Library
1974	Analysis of an AC Gas Display Panel
1974	Investigation into Scheduling for an Interactive Computing System
1974	On Proving Correctness of Microprograms
1974	Simulation of Cyclic Operation of a Gas Panel Device
1973	Action Potential of the Motorneuron
1973	Optimum Storage Allocation for a File with Open Addressing
1973	Theory and Computer-aided Analysis of Lossless Transmission Lines
1972	Air Quality Diffusion Model; Application to New York City
1972	Estimate of Subsidence in Venice Using a One-dimensional Model of the Subsoil
1972	Interactive Computer-based Game for Decision-making in Ecology
1972	Model for Time-dependent Raindrop Size Distributions; Application to the Washout of Airborne Contaminants
1972	Numerical Investigation of the Atmospheric Dispersion of Stack Effluents
1972	Rationale, Limitations, and Assumptions of a Northeastern Forest Growth Simulator
1972	Subsurface Hydrology at Waste Disposal Sites
1972	Viscoelastic Behavior of Computer Tape Subjected to Periodic Motion
1971	Digital Simulation of the Global Transport of Carbon Monoxide
1971	Effect of Hammer Length and Nonlinear Paper-ribbon Characteristics on Impact Printing
1971	Random-walk Model of Stream Network Development
1971	System Validation by Three-level Modeling Synthesis
1969	Algorithm and Average-value Bounds for Assignment Problems
1969	Dynamic Inventory Models and Stochastic Programming
1969	Geometric Optimization of Controlled Collapse Interconnections
1969	Heuristic Algorithm for the Traveling-salesman Problem
1969	Mathematical Model for Pattern Verification
1969	Maximal Biflow in an Undirected Network
1969	Mechanisms of Stress Relief in Polycrystalline Films
1969	Minimaximal Paths in Disjunctive Graphs by Direct Search
1969	Model of Competition in a Two-seller Market
1969	Modeling Plasma Effects on Radar Cross Section of Reentry Vehicles
1969	Parametric Study of Temperature Profiles in Chips Joined by Controlled Collapse Techniques
1969	Programmed Automatic Customer Engineer (PACE) Dispatch
1969	Scattering of Electromagnetic Radiation by a Large, Absorbing Sphere
1969	Shortcut in the Decomposition Algorithm for Shortest Paths in a Network
1969	Simulation and Experimental Research
1969	Stochastic Model for Manufacturing Cost Estimating
1969	Strain and Temperature Distributions in a Thermally Activated Cantilever
1969	Thermal Expansion in a Constrained Elastic Cylinder
1969	Two-dimensional Mathematical Analysis of a Planar Type Junction Field-effect Transistor
1968	An Application of the Cooley–Tukey Algorithm to Equalization
1968	Application of Finite Geometry in File Organization for Records with Multiple-Valued Attributes
1968	Automatic Focus Control of Charged-Particle Beams
1968	Computation of Molecular Properties and Structure
1968	Implicit Implementation of the Weighted Backward Euler Formula
1968	Method for Estimation and Optimization of Printer Speed Based on Character Usage Statistics
1967	Digital Simulation Applied to a Photo-Optical System
1965	Simulation of the Catalytic Cracking Process for Styrene Production
1964	Simulation of a Hydraulic Actuator