Search results for "ESC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	David R. Cok, Joseph Kiniry	ESC/Java2: Uniting ESC/Java and JML.	CASSIS	2004	DBLP DOI BibTeX RDF
116	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
106	Perry R. James, Patrice Chalin	Extended static checking in JML4: benefits of multiple-prover support.	SAC	2009	DBLP DOI BibTeX RDF	ESC, ESC4, JML4, theorem provers, Java modeling language, static verification, extended static checking
76	Young Gil Kim, Norman C. Beaulieu	Lossless Selection Combining without Channel State Information.	ICC	2008	DBLP DOI BibTeX RDF
71	Cormac Flanagan, K. Rustan M. Leino	Houdini, an Annotation Assistant for ESC/Java.	FME	2001	DBLP DOI BibTeX RDF
61	Sangmin Seo, Jaejin Lee, Zehra Sura	Design and implementation of software-managed caches for multicores with local memory.	HPCA	2009	DBLP DOI BibTeX RDF
61	Jason Cong, Sung Kyu Lim	Edge separability-based circuit clustering with application to multilevel circuit partitioning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
60	Taehun Hwang, Kihong Park, Seung-Jin Heo, Sihyoung Lee	Integrated Chassis Controller Design of Active Steering and Active Braking Systems Using CL Method.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Active Front Steering(AFS), Electronic Stability Control(ESC), Characteristic Locus(CL) Method, Integrated Chassis Control(ICC)
56	Yu Gu 0001, Ting Zhu 0001, Tian He 0001	ESC: Energy Synchronized Communication in Sustainable Sensor Networks.	ICNP	2009	DBLP DOI BibTeX RDF
56	Aleksy Schubert, Jacek Chrzaszcz	ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.	SET	2006	DBLP DOI BibTeX RDF
50	Walter Ameling (eds.)	First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings	ESC	1983	DBLP DOI BibTeX RDF
50	Eduard Gerecke	Schnelle Bewegung der Blockwände bei der Magnetisiergun von Eisen.	ESC	1983	DBLP DOI BibTeX RDF
50	E. Godehardt, Otto Richter	Application of Graph Theory in Modelling of Biological Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	F. C. Kingdon, P. Loretto	The Application of Microprocessors within Analogue Computer Models.	ESC	1983	DBLP DOI BibTeX RDF
50	Johann Maierhofer, Helmuth Schmitt, Siegfried Trosch	Software Simulation with Boris.	ESC	1983	DBLP DOI BibTeX RDF
50	Colin Jefferson	Modelling the Naturally Commutated DC Link Converter.	ESC	1983	DBLP DOI BibTeX RDF
50	Felix Breitenecker	Comparison of Digital and Hybrid Simulation of Regulator Plants with Alternatively Continuous and Discrete Feedback.	ESC	1983	DBLP DOI BibTeX RDF
50	Hieronymus Gruber	Sequential Systems: A Framework for the Definition of a General Simulation Concept.	ESC	1983	DBLP DOI BibTeX RDF
50	Jürgen Perl	Controlling Processes Using Net Models and Dynamic Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Horst A. Richter, A. Reul, Ch. Mittermayer	Cardiosvascular Simulation for Pulsating Perfusion of Heart Valves in Mitral- or Aorta Position.	ESC	1983	DBLP DOI BibTeX RDF
50	Willi Klösgen, W. Schwarz	Interactive Planning Tools for Professionals: The Use of the Model Base System MBS and Future Developments.	ESC	1983	DBLP DOI BibTeX RDF
50	Erik H. D'Hollander, H. Simoens	A Simulator of Homogeneous Multiprocessor Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Wilfried Tettweiler	MAPLIS - A Matrix Oriented Language for Modelling and Interactive Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	G. Bassett, A. K. Kochhar	Computer Simulation of Material Requirements Planning Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Dirk L. Kettenis	The COSMOS Modelling and Simulation Language.	ESC	1983	DBLP DOI BibTeX RDF
50	Henk G. Sol	Simulation Based Inquiry Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Dietmar P. F. Möller, Ewald Hennig	A Nonlinear Circulatory Model for Artificial Heart Studies.	ESC	1983	DBLP DOI BibTeX RDF
50	Winfried Hahn	Computer Design Language - Version Munich (CDLM): A Multi-Level Simulation Tool.	ESC	1983	DBLP DOI BibTeX RDF
50	R. M. Johnson	Simulation of Vibration of a Crane Structure During Hoist Mode.	ESC	1983	DBLP DOI BibTeX RDF
50	Petra Winkler, Uwe Großmann	Transients of Gas Exchange Processes within the Upper Skin, Simulated by the Capillary Loop Model.	ESC	1983	DBLP DOI BibTeX RDF
50	Jakov J. Crnkovic	The Formal Theory of Simulation from the Users Point of View.	ESC	1983	DBLP DOI BibTeX RDF
50	Klaus Diekmann	Model Design and Simulation of a Certain Class of Nonlinear Processes.	ESC	1983	DBLP DOI BibTeX RDF
50	Kurt U. Hellmold	The Modular Construction of Models.	ESC	1983	DBLP DOI BibTeX RDF
50	Heimo H. Adelsberger	Modeling and Simulation in ADA.	ESC	1983	DBLP DOI BibTeX RDF
50	Dieter Wendisch	Simulation Program for Interactive Broadband Dialogue Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Friedrich Wilhelm Fuchs, Johan Charles Bendien	Simulation of Converter Fed A. C. Drives Using an Advance Frequency Domain Technique.	ESC	1983	DBLP DOI BibTeX RDF
50	W. Wiening, Heinrich Rake	Digital Simulation of Standard Configurations of Heating, Ventilating and Air-Conditioning Equipment.	ESC	1983	DBLP DOI BibTeX RDF
50	D. R. De Buyser, Ghislain C. Vansteenkiste	Building an On-Line Sensor for Biomass through Modelling.	ESC	1983	DBLP DOI BibTeX RDF
50	Drago Matko, Rihard Karba, P. Omersel, Borut Zupancic, M. Sega	A Practical Approach to the Simulation of Small Industrial Problems.	ESC	1983	DBLP DOI BibTeX RDF
50	Manfred Peschel, Felix Breitenecker, W. Mende	On a New Concept for the Simulation of Dynamic Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Alexander Karavas, Franz Regen, Lothar Krings, Walter Ameling	Calculation of Open Queueing Networks.	ESC	1983	DBLP DOI BibTeX RDF
50	Peter Ijewski, Bernhard Schürmann, Michael Bruns	Design of a Simulation System for Train-to-Train Container Transfer Stations.	ESC	1983	DBLP DOI BibTeX RDF
50	Th. F. J. Heeren, A. C. M. Hopman	Decision Support System for Bankhall Organization.	ESC	1983	DBLP DOI BibTeX RDF
50	J. Paul Landauer	SIMSTAR - An Attached Multiprocessor for Dynamic System Engineering.	ESC	1983	DBLP DOI BibTeX RDF
50	Ingrid Bausch-Gall	Practical Experiences with an ACSL Implementation of an Existing FORTRAN Model for a Radar System.	ESC	1983	DBLP DOI BibTeX RDF
50	François E. Cellier, Magnus Rimvall	Computer Aided Control Systems Design.	ESC	1983	DBLP DOI BibTeX RDF
50	M. Lázaro, Luis Puigjaner, L. Martinez, Francisco Recasens	Process Modeling and Optimization with Evolution-Operation Techniques: Application to Furfural Production.	ESC	1983	DBLP DOI BibTeX RDF
50	Rihard Karba, Ales Mrhar, F. Bremsak, Drago Matko, F. Kozjek, M. Atanasijevic	Nonlinear Pharmacokinetical Modelling and Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Slobodan Andric	Discrete System Dynamic Simulation - Interactive Language SDS.	ESC	1983	DBLP DOI BibTeX RDF
50	D. Sahm, Dean C. Karnopp	Simulation of Electric Battery Dynamics Using Bond Graph Techniques.	ESC	1983	DBLP DOI BibTeX RDF
50	Felix Breitenecker, Josef Kaliman	Simulation of Pathological Blood Pressure Behaviour after Treadmill Test in Patients with Coarctation of the Aorta.	ESC	1983	DBLP DOI BibTeX RDF
50	Wolfgang Bär	A Frequency Domain Method for Control Systems Design of a Reduced Model of a Chemical Reactor.	ESC	1983	DBLP DOI BibTeX RDF
50	Franz Regen, Lothar Krings, Walter Ameling	Simulation of Job Execution in the M5PS Multiprocessor.	ESC	1983	DBLP DOI BibTeX RDF
50	Wolfgang H. Zangemeister, Lawrence Stark	Simulations of Analytical Eye and Head Models Using Optimum Criteria Explain the Neural Fine Control of Fast Eye and Head Movements.	ESC	1983	DBLP DOI BibTeX RDF
50	H.-D. Engelmann	Development of Model by Example for Recovery of Aqueous Acetic Acid.	ESC	1983	DBLP DOI BibTeX RDF
50	Hartmut Buschmann	A68SIM - Discrete Event Simulation in ALGOL 68.	ESC	1983	DBLP DOI BibTeX RDF
50	Granino A. Korn	Direct-Exectuing Languages for Interactive Simulation and Computer-Aided Experiments.	ESC	1983	DBLP DOI BibTeX RDF
50	Phuoc Tran-Gia	Simulation of Instationary Processes for Performance Evaluations of Switching Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Gino Baron	Low Order Models for Multistage Systems with Discrete Legendre Orthogonal Polynomials.	ESC	1983	DBLP DOI BibTeX RDF
50	Robert K. Bell, Pervez-Walter Ernest	The Four Levels of Flow Control in SPIRO.	ESC	1983	DBLP DOI BibTeX RDF
50	Hans Fuss	Simulation of Distributed Systems: A Competitive 3-Body Case Study.	ESC	1983	DBLP DOI BibTeX RDF
50	Ghislain C. Vansteenkiste	Simulation Methodology for Improved Process Interaction.	ESC	1983	DBLP DOI BibTeX RDF
50	N. Dahmen	FORCASD - An Evaluation Net Oriented Program System for Modelling and Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Jerry T. Bosley, Wayne L. McCowan	Guidance Law Analysis Using Modular 6-DOF Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Rudolf Danda, B. Wüst	Application of Simulation to the Planning of Generating Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	S. W. Brok, Len Dekker, Eugene J. H. Kerckhoffs, Anthonie B. Ruighaver, Henk J. Sips	Architecture and Programmature of the MIMD-Structured Delft Parallel Processor.	ESC	1983	DBLP DOI BibTeX RDF
50	Dobrivoje Popovic	State of the Art in Parameter and State Estimation of Complex Systems by Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Klaus Waldschmidt	Simulation in Modern Electronics.	ESC	1983	DBLP DOI BibTeX RDF
50	Wolfgang Kleinert, Dietmar Solar, F. Berger	Status Report on TU Vienna's Hybrid Time Sharing System.	ESC	1983	DBLP DOI BibTeX RDF
50	Hans-Joachim Lenz	A Test Bench for Batch Inspection Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Eugene J. H. Kerckhoffs, J. Potucek, Miroslav Snorek	Simulation of Myocardial Fibre Action Potential Generation Units on the Delft Parallel Processor.	ESC	1983	DBLP DOI BibTeX RDF
50	Armin Schöne	Simulation Techniques and Design in Engineering - Foundations, Methods and Possibilities.	ESC	1983	DBLP DOI BibTeX RDF
50	Istvan Molnár	Some Problems in Research of General Simulation Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Johannes Krauth, Robert Schaback	An Interactive System for Simulation and Graphic Evaluation of Discrete and Continuous Models.	ESC	1983	DBLP DOI BibTeX RDF
50	Florian P. Kolb	Results from a Simulation Model Describing a Biological, Sensory Feedback Information System.	ESC	1983	DBLP DOI BibTeX RDF
50	Oskar Hoffmann, J. T. Zierski	Analysis of the Intracranial Pulse Pressure Relationship by Simulation: Application of a Mathematical Model and Comparison with Clinical Data.	ESC	1983	DBLP DOI BibTeX RDF
50	Rainer Schnitzler, Reinhold Gebhardt, Walter Ameling, Walter Oberschelp	Error-Analysis of Heuristic Algorithms by Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Otto Lange	A Parallel Computer Architecture Oriented towards the Eigenvalue-Eigenvector Representation of Operators.	ESC	1983	DBLP DOI BibTeX RDF
50	David James Murray-Smith, J. R. Rosenberg	Models of the Muscle Spindle: A Case Study in Physiological System Simulation.	ESC	1983	DBLP DOI BibTeX RDF
50	Erik Esmeijer	The Interdisciplinary Ship's Design: Simulation Methods and Techniques.	ESC	1983	DBLP DOI BibTeX RDF
50	Heinz Bültges, S. Faulhaber, Heinrich Rake	Hybrid Simulation of an Electrohydraulic Servo Drive for a Manipulator.	ESC	1983	DBLP DOI BibTeX RDF
50	D. Danziger, Günter Schulz-Ekloff	Reduction of Temperature Peaks in a Tubular Fixed-Bed Reactor for Exothermic Catalytic Reactions.	ESC	1983	DBLP DOI BibTeX RDF
50	Friedemann Awiszus	Development and Improvement of a Cross-Bridge-Model for Muscular Behaviour.	ESC	1983	DBLP DOI BibTeX RDF
50	Björn A. Gottwald	Modelling Biological Processes with Block-Oriented Simulation Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Alfred Schmidt, Lutz Mauer	Hybrid Simulation of the Nonlinear Dynamics of High Speed Railway Vehicles.	ESC	1983	DBLP DOI BibTeX RDF
50	H. Renders, G. Vilain, A. Barel	Modelling a Measurement System.	ESC	1983	DBLP DOI BibTeX RDF
50	Raymond Gorez, D. Paillet	Simulation of the Thermal State of an Underground Gasification Well.	ESC	1983	DBLP DOI BibTeX RDF
50	Hubert Bischoff	Simulation of Daily Household Activity Projects.	ESC	1983	DBLP DOI BibTeX RDF
50	N. J. C. Baker, P. J. Smart	The Sysmod Simulation Language.	ESC	1983	DBLP DOI BibTeX RDF
50	András Jávor	Modeling of Conflict Situations in Discrete Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Frank J. Pasveer, R. van Steenwijk	Coupled Models of Excitable Byocardial Tissue.	ESC	1983	DBLP DOI BibTeX RDF
50	H. Hanselmann, R. Kasper, M. Lewe	Dimulation of Fast Digital Control Systems.	ESC	1983	DBLP DOI BibTeX RDF
50	Robert K. Bell, Pervez-Walter Ernest	Station Types in GPSS, GPSS-F, SLAM and SPIRO.	ESC	1983	DBLP DOI BibTeX RDF
50	M. R. Southworth	IMPACS: Integrated Multi-Processor Aircraft Simulation System.	ESC	1983	DBLP DOI BibTeX RDF
50	David James Murray-Smith	Use of an Aircraft Lateral Beam Guidance System Simulation in the Teaching of Control Engineering.	ESC	1983	DBLP DOI BibTeX RDF
50	Franco Maceri, Domenico Bruno	Non Linear Models for Cable Stayed Bridges Analysis.	ESC	1983	DBLP DOI BibTeX RDF
50	Dietmar P. F. Möller	Modelling and Simulation of the Longterm Behaviour of Arterial Pressure Regulation with the Aid of a Block - Diagrammed Interactive Simulation System.	ESC	1983	DBLP DOI BibTeX RDF
50	Meir Barel	A High Speed List Processor for Discrete Event Multiprocessor-Simulators.	ESC	1983	DBLP DOI BibTeX RDF
46	Boqing Gong, Yueming Wang, Jianzhuang Liu, Xiaoou Tang	Automatic facial expression recognition on a single 3D face by exploring shape deformation.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	3D facial expression recognition, basic facial shape component, expressional shape component, shape deformation
46	Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku	Efficient Updates for Continuous Skyline Computations.	DEXA	2008	DBLP DOI BibTeX RDF