Search results for "PEARL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Albert Fleischmann	Entwicklung verteilter Realzeitprogramme: Eine Übersicht.	PEARL	1993	DBLP DOI BibTeX RDF
52	Klaus Stieger	Die Zeitabhängigkeit als maßgebliche Konsistenzbedingung und ihre Zusicherung durch ein neues fehlertolerantes Commit-Protokoll.	PEARL	1993	DBLP DOI BibTeX RDF
52	Karlotto Mangold	Rechnerunterstützte Verteilung eines Ada-Programms auf mehrere UNIX-Prozesse.	PEARL	1993	DBLP DOI BibTeX RDF
52	Stefan Weidlich	Erarbeitung einer integrierten Entwicklungsumgebung für PEARL90-Programme für SUN-kompatible Workstations.	PEARL	1993	DBLP DOI BibTeX RDF
52	Gabriele Dobler, Michael Slopianka	Kommunikationsunterstützung für verteilte Transaktionen mit Echtzeitanforderungen.	PEARL	1993	DBLP DOI BibTeX RDF
52	Erwin Kneuer	Komfortables Multitasking mit PEARL90 auf unterschiedlichen Betriebssystemen.	PEARL	1993	DBLP DOI BibTeX RDF
52	Christian Sommer 0003	Experiment-Datenverarbeitung bei der deutschen Spacelab Mission D-2.	PEARL	1993	DBLP DOI BibTeX RDF
52	Karsten Schulze	Echtzeitfähige Simulation dynamischer Systeme auf Kleinstrechnern.	PEARL	1993	DBLP DOI BibTeX RDF
52	Ruth Schorr	Ausnahmebehandlung in verteilten Realzeitprogrammiersprachen.	PEARL	1993	DBLP DOI BibTeX RDF
52	Peter Holleczek (eds.)	PEARL 92, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 3./4. Dezember 1992	PEARL	1992	DBLP DOI BibTeX RDF
52	J. Feld	Echtzeitapplikationen unter SORIX 386/486.	PEARL	1992	DBLP DOI BibTeX RDF
52	Klemens Schirk	BON® Portierung einer Echtzeit-Anwendung Relativ Leicht.	PEARL	1992	DBLP DOI BibTeX RDF
52	Ralf Kern	Standardisierte Benchmarks im Echtzeit-Bereich.	PEARL	1992	DBLP DOI BibTeX RDF
52	J. Stoll, T. Popp	Real-Time Kernel für Transputer.	PEARL	1992	DBLP DOI BibTeX RDF
52	C. Diamantidis	Graphisches Dispositionssystem Grados.	PEARL	1992	DBLP DOI BibTeX RDF
52	Helmut Rzehak	Der POSIX-Standard und echtzeitfähige UNIX-Systeme.	PEARL	1992	DBLP DOI BibTeX RDF
52	Ralf Leinemann	Ein POSIX kompatibles Echtzeit-Betriebssystem.	PEARL	1992	DBLP DOI BibTeX RDF
52	P. Enghauser, G. Seidel	Meß-Methoden zur Verifizierung von Realzeit-Indices am Beispiel des Real-Zeit-Systems REAL/IX.	PEARL	1992	DBLP DOI BibTeX RDF
52	Th. Beck, C. Pereira	Zwei Echtzeit-Programmierumgebungen im Vergleich.	PEARL	1992	DBLP DOI BibTeX RDF
52	Phillip Yoo	UNIX and Realtime.	PEARL	1992	DBLP DOI BibTeX RDF
52	Wolfgang A. Halang (eds.)	PEARL 91, Workshop über Realzeitsysteme, 12. Fachtagung des PEARL-Vereins e.V., Boppard, 28./29. November 1991, Proceedings	PEARL	1991	DBLP DOI BibTeX RDF
52	Markus Willbold	Realisierung eines Realzeitsystems, bestehend aus Arbeitsplatzrechnern, die über LAN vernetzt sind.	PEARL	1991	DBLP DOI BibTeX RDF
52	Frank Klingspor, Thomas Rottke	Realzeitzugriff auf ausgedehnte geometrische Objekte in parallelen topologischen B*-Bäumen.	PEARL	1991	DBLP DOI BibTeX RDF
52	Michael Huelke	C für die Echtzeitprogrammierung.	PEARL	1991	DBLP DOI BibTeX RDF
52	B. Lieske	Automatisierung eines Kontrollpultes für Hochspannungsversuche.	PEARL	1991	DBLP DOI BibTeX RDF
52	Eckhard Schöbel, Gunter Reinig	Gestaltungs- und Realisierungsprinzipien von Softwarekomonenten für verteilte Steuerungssysteme.	PEARL	1991	DBLP DOI BibTeX RDF
52	Johann Blieberger, Gerhard H. Schildt	Versuche der Compiler-Validierung.	PEARL	1991	DBLP DOI BibTeX RDF
52	Jean-Jacques Schwarz, Jacques J. Skubich, Régis Aubry	Lacatre: The basis for a Real Time Software Engineering Workshop.	PEARL	1991	DBLP DOI BibTeX RDF
52	Jürgen Geidis	Produktionsleitsystem für eine Aluminiumgießerei.	PEARL	1991	DBLP DOI BibTeX RDF
52	Ch. Gralla	Quantitativer Vergleich von 3 Echtzeitbetriebssystemen für die digitale Prozeßregelung.	PEARL	1991	DBLP DOI BibTeX RDF
52	Christian Feder-Andres, Ruth Schorr	Mechanismen zur Ausnahme-Behandlung in Realzeitprogrammiersprachen.	PEARL	1991	DBLP DOI BibTeX RDF
52	Karlotto Mangold	Ada9X: Sprachelemente für Realzeitanwendungen.	PEARL	1991	DBLP DOI BibTeX RDF
52	Wilfried Gerth, J. Gottfriedsen	RISC contra CISC - Beobachtungen bei der Portierung eines Echtzeitbetriebssystems.	PEARL	1991	DBLP DOI BibTeX RDF
52	J. A. Heide, Wolfgang A. Halang	Performance Metrics for Real-Time Systems.	PEARL	1991	DBLP DOI BibTeX RDF
52	Wilfried Gerth, Per Baacke (eds.)	PEARL 90, Workshop über Realzeitsysteme, 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings	PEARL	1990	DBLP DOI BibTeX RDF
52	Peter Guba	Leistungsmerkmale des Realzeit-UNIX-Systems REAL/IX.	PEARL	1990	DBLP DOI BibTeX RDF
52	Rolf Blumenthal, Jürgen Geidies	Ein portabler Zellencontroller.	PEARL	1990	DBLP DOI BibTeX RDF
52	Jutta Göhringer	VMEexec - Implementierung eines Echtzeitkern-Schnittstellen-Standards.	PEARL	1990	DBLP DOI BibTeX RDF
52	Volker Rasche, Rüdiger Siemens, Willi Schepper	Betriebsdatenerfassung in der CD Production.	PEARL	1990	DBLP DOI BibTeX RDF
52	Andreas Oberweis	Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme.	PEARL	1990	DBLP DOI BibTeX RDF
52	Theodor Tempelmeier	Eine Übersicht über die Software-Entwurfsmethode HOOD.	PEARL	1990	DBLP DOI BibTeX RDF
52	Matjaz Colnaric	Run-Time Prediction for Hard Real-Time Programs.	PEARL	1990	DBLP DOI BibTeX RDF
52	Wolfgang Trennhaus	Das Graphik-Konzept des SIMICRO SX - Die erste Entwicklung eines "Prozess - X - Windows".	PEARL	1990	DBLP DOI BibTeX RDF
52	Manfred Gerlich, Andreas Nowakowski	Ein intelligentes und netzfähiges BDE-Terminal auf der Basis eines Motorala-Rechners mit dem RTOS-Rechner-Systems.	PEARL	1990	DBLP DOI BibTeX RDF
52	Richarl K. H. Henn, Klaus Stieger (eds.)	PEARL 89 - Workshop über Realzeitsysteme, 10. Fachtagung des PEARL-Vereins e.V., Boppard, 7./8. Dezember 1989, Proceedings	PEARL	1989	DBLP DOI BibTeX RDF
52	J. Rehmer, U. Gutt	Betrieb, Fehlersuche und Erweiterungen bei einem zentralen Netzleitsystem der Stadtwerke Hannover AG.	PEARL	1989	DBLP DOI BibTeX RDF
52	Martine Schümmer	Bewertung von Polling-Verfahren in realzeitkritischen Fertigungsumgebungen.	PEARL	1989	DBLP DOI BibTeX RDF
52	Abd E. Elnakhal, Helmut Rzehak	Der Zeitbedarf für Kommunikationsaufträge in MAP-Netzen.	PEARL	1989	DBLP DOI BibTeX RDF
52	Manfred Popall	Simulation und Rapid Prototyping für Realzeitanwendungen auf Spezifikationsebene.	PEARL	1989	DBLP DOI BibTeX RDF
52	Wolfgang A. Halang	Schwerpunkte der internationalen Forschung im Bereich Echtzeitsysteme.	PEARL	1989	DBLP DOI BibTeX RDF
52	U. Berger, Otto Eggenberger	Multitasking-Betriebssysteme für Realzeitaufwendungen auf AT-kompatiblen Personal Computern.	PEARL	1989	DBLP DOI BibTeX RDF
52	Burkhard Igel	Applikative Beschreibungsmethoden in verteilten Prozeßsteuerungen.	PEARL	1989	DBLP DOI BibTeX RDF
52	V. Tristram	CAM auf der Basis von IBM PS/2 im lokalen Netz - ein praktisches Beispiel.	PEARL	1989	DBLP DOI BibTeX RDF
52	B. Haase	Softwareentwurfsmethodik von Kommunikationsprotokollen.	PEARL	1989	DBLP DOI BibTeX RDF
52	Wolfgang Trennhaus	Das Mikrocomputer-System SX mit seinem Echtzeit-UNIX-Betriebssystem SORIX - Ein System für die Realisierung von verteilten Automatisierungs-Aufgaben.	PEARL	1989	DBLP DOI BibTeX RDF
52	Berthold Schönhoff	MS-DOS kontra Echtzeitdatenverarbeitung.	PEARL	1989	DBLP DOI BibTeX RDF
47	Janis Voigtländer	Much ado about two (pearl): a pearl on parallel prefix computation.	POPL	2008	DBLP DOI BibTeX RDF	0-1-principle, free theorems, parallel prefix computation, relational parametricity
45	José Bringel Filho, Windson Viana, Rossana M. C. Andrade, André Jalles Monteiro	PEARL: A PErformance evaluAtor of cRyptographic aLgorithms for Mobile Devices.	MATA	2004	DBLP DOI BibTeX RDF
45	Edward J. DeJesus, James P. Callan, Curtis R. Whitehead	PEARL: an expert system for power supply layout.	DAC	1986	DBLP DOI BibTeX RDF
44	Christophe Gonzales, Khaled Mellouli, Olfa Mourali	On Directed and Undirected Propagation Algorithms for Bayesian Networks.	ECSQARU	2007	DBLP DOI BibTeX RDF
44	Richard A. Baldwin, Eric Neufeld	On the Structure Model Interpretation of Wright's NESS Test.	AI	2003	DBLP DOI BibTeX RDF
44	Roman Gumzej, Matjaz Colnaric	An Approach to Modeling and Verification of Real-Time Systems.	ISORC	2001	DBLP DOI BibTeX RDF
44	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
41	Fengbin Zheng, Baojun Qiao, Jun Ma, Zhongting Wang, Shenshen Li	Pearl River Delta PM10 Remote Sensing Monitoring and System Design.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	PM10, Pearl River Delta, Remote Sensing, Monitoring System
41	Ming Lei, Yankui Sun, Daoshun Wang, Peng Li	Automated Thickness Measurements of Pearl from Optical Coherence Tomography Images.	HIS (1)	2009	DBLP DOI BibTeX RDF	optical coherence tomography, nonlinear complex diffusion, boundary fitting, Support vector machine, pearl
41	Stephanie Weirich	Type-safe cast: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
41	Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward	Composing contracts: an adventure in financial engineering, functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell, PEARL
41	Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce	Recursive subtyping revealed: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	PEARL
40	Christopher J. Richardson, Qiong Gao, Costas Mitsopoulos, Marketa Zvelebil, Laurence H. Pearl, Frances M. G. Pearl	MoKCa database - mutations of kinases in cancer.	Nucleic Acids Res.	2009	DBLP DOI BibTeX RDF
36	Judea Pearl	Turing Award Lecture.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Alexander Balke, Judea Pearl	Probabilistic Evaluation of Counterfactual Queries.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Causal Diagrams for Empirical Research (With Discussions).	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	The Solution for the Branching Factor of the Alpha-Beta Pruning Algorithm and its Optimality.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Karthika Mohan, Judea Pearl	Graphical Models for Recovering Probabilistic and Causal Queries from Missing Data.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Detecting Latent Heterogeneity.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	On the Discovery and Generation of Certain Heuristics.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Causality 2002-2020 - Introduction.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Direct and Indirect Effects.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Probabilities - Introduction.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Asymptotic Properties of Minimax Trees and Game-Searching Procedures.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl, Azaria Paz	GRAPHOIDS: Graph-Based Logic for Reasoning about Relevance Relations OrWhen Would x Tell You More about y If You Already Know z?	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Elias Bareinboim, Jin Tian 0001, Judea Pearl	Recovering from Selection Bias in Causal and Statistical Inference.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Thomas Verma, Judea Pearl	Equivalence and Synthesis of Causal Models.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Heuristics - Introduction.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Probabilities of Causation: Three Counterfactual Interpretations and Their Identification.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Causality 1988-2001 - Introduction.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl, Elias Bareinboim	External Validity: From Do-Calculus to Transportability Across Populations.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Fusion, Propagation, and Structuring in Belief Networks.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Judea Pearl	Comment: Understanding Simpson's Paradox.	Probabilistic and Causal Inference	2022	DBLP DOI BibTeX RDF
36	Steven A. Sloman, Judea Pearl, Nick Chater, Lance J. Rips, Jim Joyce, Stefan Kaufmann 0001	On Counterfactuals and Cognitive Science: Rumlhart Prize Symposium in Honor of Judea Pearl.	CogSci	2011	DBLP BibTeX RDF
35	Peter Holleczek, Birgit Vogel-Heuser (eds.)	Mobilität und Echtzeit - PEARL 2007, Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time), Boppard, 6./7. Dezember 2007	PEARL	2007	DBLP DOI BibTeX RDF
35	Guido Haberkamp, Dieter Zöbel	Echtzeitfähigkeit von Satellitenkompassen in der Binnenschifffahrt.	PEARL	2007	DBLP DOI BibTeX RDF
35	Stephan Pareigis, Bernd Schwarz, Franz Korf	FAUST: Entwicklung von Fahrerassistenz- und autonomen Systemen - Technische Informatik an der Hochschule für Angewandte Wissenschaften Hamburg.	PEARL	2007	DBLP DOI BibTeX RDF
35	Denis Eberhard	Kapselung sicherheitskritischer Funktionen in automobilen Steuergeräten.	PEARL	2007	DBLP DOI BibTeX RDF
35	Mario Seebode, Wilfried Gerth	Echtzeitsystem für einen zweibeinigen Roboter mit adaptiver Bahnplanung.	PEARL	2007	DBLP DOI BibTeX RDF
35	Stephan Reichelt, Karsten Schmidt 0003, Frank Gesele, Nils Seidler, Wolfram Hardt	Nutzung von FlexRay als zeitgesteuertes automobiles Bussystem im AUTOSAR-Umfeld.	PEARL	2007	DBLP DOI BibTeX RDF
35	Fabian Scheler, Martin Mitzlaff, Wolfgang Schröder-Preikschat	Atomic Basic Blocks - Eine kontrollflussunabhängige Zwischendarstellung für Echtzeitsysteme.	PEARL	2007	DBLP DOI BibTeX RDF
35	Ronny Pretzsch, Angelika Römer, Robert Baumgartl	Effizientes und ausfallsicheres Management von Wetterdaten für den Flugbetrieb.	PEARL	2007	DBLP DOI BibTeX RDF