Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 10 out of a total of 146 results for community: TOBIAS-portale. (0.192 seconds)

Now showing items 1-10 of 146

1
2
3
4
. . .
15
Next Page

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems

Richthammer, Valentina; Glaß, Michael (Universität Tübingen, 2018-03-13)
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz

Mast, Johannes; Rädle, Stefan; Gerlach, Joachim (Universität Tübingen, 2018-03-13)
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting

Jain, Tripti; Schneider, Klaus (Universität Tübingen, 2018-03-13)
Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (Universität TübingenUniversität Tübingen, 2018-03-13)
ScaLP: A Light-Weighted (MI)LP-Library

Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (Universität Tübingen, 2018-03-13)
Testing Einstein’s theory of gravity with simulations of tidal disruption events

Hämmerling, Gela; Kokkotas, Kostas D.; Laguna, Pablo (Universität TübingenUniversität Tübingen, 2019-04)
bwForCluster NEMO. Forschungscluster für die Wissenschaft

Janczyk, Michael; Suchodoletz, Dirk von; Wiebelt, Bernd (Universität TübingenUniversität Tübingen, 2019-04)
Umsetzungskonzept der Universitäten des Landes Baden-Württemberg für das High Performance Computing (HPC), Data Intensive Computing (DIC) und Large Scale Scientific Data Management (LS2DM)

Schneider, Gerhard; Heuveline, Vincent; Horstmann, Karl-Wilhelm; Neumair, Bernhard; Hätscher, Petra; Kolbitsch, Josef; Rehm, Simone; Resch, Michael; Walter, Thomas; Wesner, Stefan; Castellaz, Peter (Universität TübingenUniversität Tübingen, 2019-04)