BibSonomy publications for /author/ErnstTue Feb 14 08:50:53 CET 2012Baden-BadenUTBDeutschland und die westlichen Demokratien3529 : Politikwissenschaft2011politik komparatistik demokratie Wed Feb 08 14:46:42 CET 2012EnschedeFebruaryITC dissertation ; no. 16555 - Web-based architecture for on-demand maps - integrating meaningful generalization processing2010generalization maarb ocl webservice Wed Feb 08 00:00:00 CET 2012Operating Systems Review339-46Mining temporal invariants from partially ordered logs.452011dblp Wed Feb 08 00:00:00 CET 2012ITCconf/itc/1989937TSG: A Test System Generator for Debugging and Regression Test of High-Level Behavioral Synthesis Tools.1989dblp Wed Feb 08 00:00:00 CET 2012ITCconf/itc/1988574-581Switch-Level Concurrent Fault Simulation Based on a General Purpose List Traversal Mechanism.1988dblp Wed Feb 08 00:00:00 CET 2012ITCconf/itc/1988877-883Experiences with Concurrent Fault Simulation of Diagnostic Programs.1988dblp Tue Feb 07 00:00:00 CET 2012TACO455sFtree: A fully connected and deadlock-free switch-to-switch routing algorithm for fat-trees.82012dblp Mon Feb 06 16:57:10 CET 2012Chemie Ingenieur Technik122093--2104Geochemical and Process Engineering Challenges for Geothermal Power Generation8320112011 Groß-Schönebeck geothermal Handling of the geothermal fluid, which is typically a complex mixture of salt solution and dissolved gases, is one of the main challenges for designing and operating reliable and efficient geothermal power plants. In the geothermal fluid loop, undesired mineral precipitation and fluid-material interactions must be prevented and the design and dimensioning of all components must be adapted according to the characteristics of the geothermal fluid. This paper outlines geochemical and process engineering aspects as well as research activities in these fields and introduces the Groß Schönebeck site, which is a central site for geothermal research.Mon Feb 06 00:00:00 CET 2012European Journal of Operational Research134-48Algorithms for large scale Shift Minimisation Personnel Task Scheduling Problems.2192012dblp Mon Feb 06 00:00:00 CET 2012ITCconf/itc/20081-10Bridging the gap between Design and Test Engineering for Functional Pattern Development.2008dblp Mon Feb 06 00:00:00 CET 2012ITCconf/itc/2010506-515STIL P1450.4: A standard for test flow specification.2010dblp Fri Feb 03 00:00:00 CET 2012SIESconf/sies/201118-27Contract-based dynamic task management for mixed-criticality systems.2011dblp Fri Feb 03 00:00:00 CET 2012SIISconf/iis/20111-19Lecture Notes in Computer ScienceCorrespondences on Hyperelliptic Curves and Applications to the Discrete Logarithm.70532011dblp Wed Feb 01 00:00:00 CET 2012CoRRContextual Multi-armed Bandits for the Prevention of Spam in VoIP Networksabs/1201.61812012dblp Wed Feb 01 00:00:00 CET 2012CoRROutbound SPIT Filter with Optimal Performance Guaranteesabs/1201.61902012dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011681-690Building and using pluggable type-checkers.2011dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011231-240Inference of field initialization.2011dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011521-530Always-available static and dynamic feedback.2011dblp Fri Jan 27 00:00:00 CET 2012IJPRAI81337-1348Census Histograms: a Simple Feature Extraction and Matching Approach for Face Recognition.252011dblp Thu Jan 26 00:00:00 CET 2012CODES+ISSSconf/codes/201169-78Design and architectures for dependable embedded systems.2011dblp