Keyword

machine model

Description: Machine model is an ambiguous term that may refer to an abstract computational machine or a model of a physical device; its meaning is unclear here.

Primary topic: Electrostatic Discharge in Electronics (26%)

OpenAlex ID: keywords/machine-model

Iterative modulo scheduling

1994 · B. Ramakrishna Rau · 728

PDF

Using multiple saliencies for the estimation of flux, position, and velocity in AC machines

1998 · M.W. Degner, R.D. Lorenz · IEEE Transactions on Industry Applications · 433

Evaluation of Job-Scheduling Strategies for Grid Computing

2000 · Volker Hamscher, Uwe Schwiegelshohn, et al. · Lecture notes in computer science · 271

A class of algorithms which require nonlinear time to maintain disjoint sets

1979 · Robert Endre Tarjan · Journal of Computer and System Sciences · 264

Machine Models and Simulations

1990 · Peter van EMDE BOAS · Elsevier eBooks · 248

Machines models of self-reproduction

1962 · Edward F. Moore · Proceedings of symposia in applied mathematics · 245

Storage Modification Machines

1980 · A. Schönhage · SIAM Journal on Computing · 240

Neural networks aided on-line diagnostics of induction motor rotor faults

1995 · F. Filippetti, G. Franceschini, et al. · IEEE Transactions on Industry Applications · 216

Compiling for the Cydra

1993 · James C. Dehnert, Ross A. Towle · The Journal of Supercomputing · 201

Iterative Modulo Scheduling

1996 · B. Ramakrishna Rau · International Journal of Parallel Programming · 197

Microcomputer control of high dynamic performance ac-drives—A survey

1986 · W. Leonhard · Automatica · 188

The ring of k-regular sequences

1992 · Jean-Paul Allouche, Jeffrey Shallit · Theoretical Computer Science · 179

Machine Models and Simulation.

1990 · Peter van Emde Boas · 176

An induction motor drive system with improved fault tolerance

2001 · M. Beltrao de Rossiter Correa, C. Brandao Jacobina, et al. · IEEE Transactions on Industry Applications · 174

Models of machines and computation for mapping in multicomputers

1993 · Michael G. Norman, Peter Thanisch · ACM Computing Surveys · 168

PDF

MSO definable string transductions and two-way finite-state transducers

2001 · Joost Engelfriet, Hendrik Jan Hoogeboom · ACM Transactions on Computational Logic · 153

PDF

Analysis of first-come-first-serve parallel job scheduling

1998 · Uwe Schwiegelshohn, Ramin Yahyapour · 126

An advanced STEP-NC controller for intelligent machining processes

2011 · Matthieu Rauch, Raphael Laguionie, et al. · Robotics and Computer-Integrated Manufacturing · 121

The Correctness-Security Gap in Compiler Optimization

2015 · Vijay D'Silva, Mathias Payer, et al. · IEEE Security and Privacy Workshops (SPW) · 107

PDF

Random-Access Stored-Program Machines, an Approach to Programming Languages

1964 · Calvin C. Elgot, Abraham Robinson · Journal of the ACM · 104

PDF

A Sampler of Formal Definitions

1976 · Michael Marcotty, Henry Ledgard, et al. · ACM Computing Surveys · 92

PDF

Formalization and automatic derivation of code generators.

1978 · Roderic G. G. Cattell · Defense Technical Information Center (DTIC) · 83

Using multiple saliencies for the estimation of flux, position, and velocity in AC machines

2002 · M.W. Degner, R.D. Lorenz · Conference record · 77

Pitfalls when correlating TLP, HBM and MM testing

2002 · G. Notermans, P. De Jong, et al. · Electrical Overstress/Electrostatic Discharge Symposium · 72

Analysis of the asymmetrical operation of dual three-phase induction machines

2003 · R. Bojoi, F. Farina, et al. · IEEE International Electric Machines and Drives Conference (IEMDC) · 66

Works count: 716

Citation count: 8,366