Department Informatik

Adaption in distributed systems: an evolutionary approach (2006) Otto S, Kirn S Conference contribution, Original article Automatic Test Case Generation with Model Checker NuSMV (2006) Bunin G, Schneider A, Haubelt C, Langer J, Heinkel U Conference contribution Efficient Representation and Simulation of Model-Based Designs in SystemC (2006) Falk J, Haubelt C, Teich J Conference contribution A Dynamically Reconfigurable Weakly Programmable Processor Array Architecture Template (2006) Kissler D, Hannig F, Kupriyanov O, Teich J Conference contribution Teaching the Foundations of Computational Science on the Undergraduate Level (2006) Freundl C, Köstler H, Rüde U Conference contribution Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms (2006) Schlichter T, Lukasiewycz M, Haubelt C, Teich J Conference contribution, Conference Contribution Algebraic multigrid for general inconsistent linear systems: The correction step (2006) Köstler H, Popa C, Rüde U Other publication type A highly parameterizable parallel processor array architecture (2006) Kissler D, Kupriyanov O, Hannig F, Teich J Conference contribution, Conference Contribution Car-Parrinello molecular dynamics using real space waverfunctions (2006) Schmid R, Tafipolsky M, König PH, Köstler H Journal article Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks (2006) Benenson Z, Freiling F, Pfitzmann B, Rohner C, Waidner M Conference contribution