sign in · help · news · about ·

BibSonomy :: author :: Glaß ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(35)

<< < 1 | 2 > >>

Runtime stress-aware replica placement on reconfigurable devices under safety constraints.
Josef Angermeier, Daniel Ziener, Michael Glaß, and Jürgen Teich FPT, page 1-6. IEEE, (2011)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Stress-Aware Module Placement on Reconfigurable Devices.
Josef Angermeier, Daniel Ziener, Michael Glaß, and Jürgen Teich FPL, page 277-281. IEEE, (2011)
to dblp by dblp on Oct 24, 2011, 12:00 AM
URL | BibTeX
Symbolic system synthesis in the presence of stringent real-time constraints.
Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jürgen Teich DAC, page 393-398. ACM, (2011)
to dblp by dblp on Sep 6, 2011, 12:00 AM
URL | BibTeX
Opt4J: a modular framework for meta-heuristic optimization.
Martin Lukasiewycz, Michael Glaß, Felix Reimann, and Jürgen Teich GECCO, page 1723-1730. ACM, (2011)
to dblp by dblp on Jul 15, 2011, 12:00 AM
URL | BibTeX
Understanding Uniformity in Feferman's Explicit Mathematics.
Thomas Glaß Ann. Pure Appl. Logic 75(1-2):89-106 (1995)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics.
Thomas Glaß, Michael Rathjen, and Andreas Schlüter Ann. Pure Appl. Logic 85(1):1-46 (1997)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join.
Thomas Glaß, and Thomas Strahm Ann. Pure Appl. Logic 82(2):193-219 (1996)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Scratch Assay Analysis with Topology-Preserving Level Sets and Texture Measures.
Markus Glaß, Birgit Möller, Anne Zirkel, Kristin Wächter, Stefan Hüttelmaier, and Stefan Posch IbPRIA, volume 6669 of Lecture Notes in Computer Science, page 100-108. Springer, (2011)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Automated Modular Termination Proofs for Real Prolog Programs.
Martin Müller 0002, Thomas Glaß, and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 220-237. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
PAN - The Prolog Analyzer.
Martin Müller 0002, Thomas Glaß, and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 387-388. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Improving platform-based system synthesis by satisfiability modulo theories solving.
Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, and Jürgen Teich CODES+ISSS, page 135-144. ACM, (2010)
to dblp by dblp on Dec 23, 2010, 12:00 AM
URL | BibTeX
Symbolic system level reliability analysis.
Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, and Jürgen Teich ICCAD, page 185-189. IEEE, (2010)
to dblp by dblp on Dec 16, 2010, 12:00 AM
URL | BibTeX
Multi-objective routing and topology optimization in networked embedded systems.
Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, and Jürgen Teich ICSAMOS, page 74-81. IEEE, (2008)
to dblp by dblp on Sep 8, 2010, 12:00 AM
URL | BibTeX
Towards scalable system-level reliability analysis.
Michael Glaß, Martin Lukasiewycz, Christian Haubelt, and Jürgen Teich DAC, page 234-239. ACM, (2010)
to dblp by dblp on Aug 9, 2010, 12:00 AM
URL | BibTeX
Detektion von Strukturen in Fluoreszenzmikroskopiebildern.
Markus Glaß Informatiktage, volume S-9 of LNI, page 199-202. GI, (2010)
to dblp by dblp on Jul 21, 2010, 4:00 PM
URL | BibTeX
Robust design of embedded systems.
Martin Lukasiewycz, Michael Glaß, and Jürgen Teich DATE, page 1578-1583. IEEE, (2010)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX
On Power Set in Explicit Mathematics.
Thomas Glaß J. Symb. Log. 61(2):468-489 (1996)
to dblp by dblp on Jul 21, 2010, 3:46 PM
URL | BibTeX
Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis
Michael Glaß, Martin Lukasiewycz, Jürgen Teich, Unmesh D. Bordoloi, and Samarjit Chakraborty 46th ACM Design Automation Conference DAC, (2009)
to imported by rcs and 1 other user on Mar 9, 2010, 9:44 AM
BibTeX
Exploiting data-redundancy in reliability-aware networked embedded system design.
Martin Lukasiewycz, Michael Glaß, and Jürgen Teich CODES+ISSS, page 229-238. ACM, (2009)
to dblp by dblp on Oct 25, 2009, 12:00 AM
URL | BibTeX
FlexRay schedule optimization of the static segment.
Martin Lukasiewycz, Michael Glaß, Jürgen Teich, and Paul Milbredt CODES+ISSS, page 363-372. ACM, (2009)
to dblp by dblp on Oct 25, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper