---
_id: '416'
author:
- first_name: Pascal
full_name: Bemmann, Pascal
id: '32571'
last_name: Bemmann
citation:
ama: Bemmann P. Group Signature Schemes with Strong Exculpability. Universität
Paderborn; 2014.
apa: Bemmann, P. (2014). Group Signature Schemes with Strong Exculpability.
Universität Paderborn.
bibtex: '@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability},
publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }'
chicago: Bemmann, Pascal. Group Signature Schemes with Strong Exculpability.
Universität Paderborn, 2014.
ieee: P. Bemmann, Group Signature Schemes with Strong Exculpability. Universität
Paderborn, 2014.
mla: Bemmann, Pascal. Group Signature Schemes with Strong Exculpability.
Universität Paderborn, 2014.
short: P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität
Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:26Z
department:
- _id: '64'
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Group Signature Schemes with Strong Exculpability
type: bachelorsthesis
user_id: '25078'
year: '2014'
...
---
_id: '417'
abstract:
- lang: eng
text: 'Model transformation is a key concept in modeldrivensoftware engineering.
The definition of model transformationsis usually based on meta-models describing
the abstractsyntax of languages. While meta-models are thereby able to abstractfrom
superfluous details of concrete syntax, they often loosestructural information
inherent in languages, like information onmodel elements always occurring together
in particular shapes.As a consequence, model transformations cannot naturally
re-uselanguage structures, thus leading to unnecessary complexity intheir development
as well as analysis.In this paper, we propose a new approach to model transformationdevelopment
which allows to simplify and improve thequality of the developed transformations
via the exploitation ofthe languages’ structures. The approach is based on context-freegrammars
and transformations defined by pairing productions ofsource and target grammars.
We show that such transformationsexhibit three important characteristics: they
are sound, completeand deterministic.'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Dominik
full_name: Steenke, Dominik
last_name: Steenke
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In:
Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD).
; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003'
apa: Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations.
In Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
bibtex: '@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model
transformations}, DOI={10.1016/j.cl.2015.05.003},
booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014},
pages={1601–1610} }'
chicago: Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model
Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in
System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
ieee: G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,”
in Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD), 2014, pp. 1601–1610.
mla: Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings
3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014,
pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
short: 'G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model
Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.'
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:28Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.cl.2015.05.003
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:33:33Z
date_updated: 2018-03-16T11:33:33Z
file_id: '1360'
file_name: 417-main.pdf
file_size: 643382
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:33:33Z
has_accepted_license: '1'
language:
- iso: eng
page: 1601-1610
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)
status: public
title: Grammar-based model transformations
type: conference
user_id: '477'
year: '2014'
...
---
_id: '418'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn; 2014.
apa: Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn.
bibtex: '@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren},
publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }'
chicago: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
ieee: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
mla: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
short: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:30Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: open_access
content_type: application/pdf
creator: fpauck
date_created: 2019-08-07T09:00:20Z
date_updated: 2019-08-07T09:05:38Z
file_id: '12906'
file_name: fpauck_2014.pdf
file_size: 3191756
relation: main_file
title: Bachelorarbeit
file_date_updated: 2019-08-07T09:05:38Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
type: bachelorsthesis
user_id: '22398'
year: '2014'
...
---
_id: '421'
author:
- first_name: Jan
full_name: Lippert, Jan
last_name: Lippert
citation:
ama: Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
apa: Lippert, J. (2014). Fujisaki-Okamoto Transformation. Universität Paderborn.
bibtex: '@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität
Paderborn}, author={Lippert, Jan}, year={2014} }'
chicago: Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn,
2014.
ieee: J. Lippert, Fujisaki-Okamoto Transformation. Universität Paderborn,
2014.
mla: Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn,
2014.
short: J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:14Z
date_updated: 2022-01-06T07:00:36Z
department:
- _id: '64'
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
- _id: '43'
name: Securing the Financial Cloud
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Fujisaki-Okamoto Transformation
type: bachelorsthesis
user_id: '25078'
year: '2014'
...
---
_id: '426'
author:
- first_name: Veit
full_name: Dornseifer, Veit
last_name: Dornseifer
citation:
ama: Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
Network. Universität Paderborn; 2014.
apa: Dornseifer, V. (2014). Evaluation of a Hybrid Packet-/Circuit-Switched Data
Center Network. Universität Paderborn.
bibtex: '@book{Dornseifer_2014, title={Evaluation of a Hybrid Packet-/Circuit-Switched
Data Center Network}, publisher={Universität Paderborn}, author={Dornseifer, Veit},
year={2014} }'
chicago: Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data
Center Network. Universität Paderborn, 2014.
ieee: V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
Network. Universität Paderborn, 2014.
mla: Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
Network. Universität Paderborn, 2014.
short: V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
Network, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:43Z
department:
- _id: '75'
project:
- _id: '1'
name: SFB 901
- _id: '6'
name: SFB 901 - Subprojekt A2
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '428'
abstract:
- lang: eng
text: Services are self-contained software components that can be used platform
independent and that aim at maximizing software reuse. A basic concern in service
oriented architectures is to measure the reusability of services. One of the most
important qualities is the functional reusability, which indicates how relevant
the task is that a service solves. Current metrics for functional reusability
of software, however, either require source code analysis or have very little
explanatory power. This paper gives a formally described vision statement for
the estimation of functional reusability of services and sketches an exemplary
reusability metric that is based on the service descriptions.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: 'Mohr F. Estimating Functional Reusability of Services. In: Proceedings
of the 12th International Conference on Service Oriented Computing (ICSOC).
LNCS. ; 2014:411-418.'
apa: Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings
of the 12th International Conference on Service Oriented Computing (ICSOC)
(pp. 411–418).
bibtex: '@inproceedings{Mohr_2014, series={LNCS}, title={Estimating Functional Reusability
of Services}, booktitle={Proceedings of the 12th International Conference on Service
Oriented Computing (ICSOC)}, author={Mohr, Felix}, year={2014}, pages={411–418},
collection={LNCS} }'
chicago: Mohr, Felix. “Estimating Functional Reusability of Services.” In Proceedings
of the 12th International Conference on Service Oriented Computing (ICSOC),
411–18. LNCS, 2014.
ieee: F. Mohr, “Estimating Functional Reusability of Services,” in Proceedings
of the 12th International Conference on Service Oriented Computing (ICSOC),
2014, pp. 411–418.
mla: Mohr, Felix. “Estimating Functional Reusability of Services.” Proceedings
of the 12th International Conference on Service Oriented Computing (ICSOC),
2014, pp. 411–18.
short: 'F. Mohr, in: Proceedings of the 12th International Conference on Service
Oriented Computing (ICSOC), 2014, pp. 411–418.'
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:47Z
ddc:
- '040'
department:
- _id: '355'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:32:02Z
date_updated: 2018-03-16T11:32:02Z
file_id: '1357'
file_name: 428-ICSOC14.pdf
file_size: 200063
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:32:02Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F978-3-662-45391-9_31
page: 411-418
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC)
series_title: LNCS
status: public
title: Estimating Functional Reusability of Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '431'
abstract:
- lang: eng
text: In meiner Dissertation besch{\"a}ftige ich mich mit dem Entwurf und der Analyse
energieeffizienter Schedulingalgorithmen, insbesondere f{\"u}r sogenannte Speed-Scaling
Modelle. Diese stellen das theoretische Pendant von Techniken wie AMDs PowerNOW!
und Intels SpeedStep dar, welche es erlauben die Geschwindigkeit von Prozessoren
zur Laufzeit an die derzeitigen Bedingungen anzupassen. Theoretische Untersuchungen
solcher Modelle sind auf eine Arbeit von Yao, Demers und Shenker (FOCS'95) zur{\"u}ckzuf{\"u}hren.
Hier kombinieren die Autoren klassisches Deadline-Scheduling mit einem Prozessor
der Speed-Scaling beherrscht. Es gilt Jobs verschiedener Gr{\"o}ße fristgerecht
abzuarbeiten und die dabei verwendete Energie zu minimieren. Der Energieverbrauch
des Prozessors wird durch eine konvexe Funktion $\POW\colon\R_{\geq0}\to\R_{\geq0}$
modelliert, welche die Geschwindigkeit auf den Energieverbrauch abbildet.Meine
Dissertation betrachtet verschiedene Varianten des urspr{\"u}nglichen Speed-Scaling
Modells. Forschungsrelevante Ergebnisse sind in den Kapiteln 3 bis 6 zu finden
und erstrecken sich {\"u}ber die im Folgenden beschriebenen Aspekte:- Kapitel
3 und 4 betrachten verschiedene \emph{Price-Collecting} Varianten des Originalproblems.
Hier d{\"u}rfen einzelne Deadlines verfehlt werden, sofern eine jobabh{\"a}ngige
Strafe gezahlt wird. Ich entwerfe insbesondere Online-Algorithmen mit einer beweisbar
guten Competitiveness. Dabei liefern meine Ergebnisse substantielle Verbesserungen
bestehender Arbeiten und erweitern diese unter Anderem auf Szenarien mit mehreren
Prozessoren.- In Kapitel 5 wird statt des klassischen Deadline-Schedulings eine
Linearkombination der durchschnittlichen Antwortzeit und des Energieverbrauchs
betrachtet. Die Frage, ob dieses Problem NP-schwer ist, stellt eine der zentralen
Forschungsfragen in diesem Gebiet dar. F{\"u}r eine relaxierte Form dieser Frage
entwerfe ich einen effizienter Algorithmus und beweise seine Optimalit{\"a}t.-
Das letzte Kapitel betrachtet ein Modell, welches – auf den ersten Blick – nicht
direkt zur Speed-Scaling Literatur z{\"a}hlt. Hier geht es stattdessen um ein
allgemeines Resource-Constrained Scheduling, in dem sich die Prozessoren zusammen
eine gemeinsame, beliebig aufteilbare Ressource teilen. Ich untersuche die Komplexit{\"a}t
des Problems und entwerfe verschiedene Approximationsalgorithmen.
author:
- first_name: Peter
full_name: Kling, Peter
last_name: Kling
citation:
ama: Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn;
2014.
apa: Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität
Paderborn.
bibtex: '@book{Kling_2014, title={Energy-efficient Scheduling Algorithms}, publisher={Universität
Paderborn}, author={Kling, Peter}, year={2014} }'
chicago: Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität
Paderborn, 2014.
ieee: P. Kling, Energy-efficient Scheduling Algorithms. Universität Paderborn,
2014.
mla: Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn,
2014.
short: P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn,
2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:52Z
ddc:
- '040'
department:
- _id: '63'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:31:29Z
date_updated: 2018-03-16T11:31:29Z
file_id: '1356'
file_name: 431-Peter_Kling_PhDThesis_01.pdf
file_size: 792106
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:31:29Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '14'
name: SFB 901 - Subprojekt C2
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Energy-efficient Scheduling Algorithms
type: dissertation
user_id: '477'
year: '2014'
...
---
_id: '432'
author:
- first_name: Nico
full_name: Bredenbals, Nico
last_name: Bredenbals
citation:
ama: Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität
Paderborn; 2014.
apa: Bredenbals, N. (2014). Energy-Efficient Queuing with Delayed Deactivation.
Universität Paderborn.
bibtex: '@book{Bredenbals_2014, title={Energy-Efficient Queuing with Delayed Deactivation},
publisher={Universität Paderborn}, author={Bredenbals, Nico}, year={2014} }'
chicago: Bredenbals, Nico. Energy-Efficient Queuing with Delayed Deactivation.
Universität Paderborn, 2014.
ieee: N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation.
Universität Paderborn, 2014.
mla: Bredenbals, Nico. Energy-Efficient Queuing with Delayed Deactivation.
Universität Paderborn, 2014.
short: N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität
Paderborn, 2014.
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:54Z
department:
- _id: '75'
project:
- _id: '1'
name: SFB 901
- _id: '6'
name: SFB 901 - Subprojekt A2
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Energy-Efficient Queuing with Delayed Deactivation
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '433'
abstract:
- lang: eng
text: Virtual FPGAs are overlay architectures realized on top of physical FPGAs.
They are proposed to enhance or abstract away from the physical FPGA for experimenting
with novel architectures and design tool flows. In this paper, we present an embedding
of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip.
Such an embedding is required to fully harness the potential of virtual FPGAs,
in particular to give the virtual circuits access to main memory and operating
system services, and to enable a concurrent operation of virtualized and non-virtualized
circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS
operating system for hardware/software systems. Furthermore, we present an open
source tool flow to synthesize configurations for the virtual FPGA.
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Arne
full_name: Bockhorn, Arne
last_name: Bockhorn
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable
Systems-on-Chip: ReconOS meets ZUMA. In: Proceedings of the International Conference
on ReConFigurable Computing and FPGAs (ReConFig). ; 2014:1-6. doi:10.1109/ReConFig.2014.7032514'
apa: 'Wiersema, T., Bockhorn, A., & Platzner, M. (2014). Embedding FPGA Overlays
into Configurable Systems-on-Chip: ReconOS meets ZUMA. In Proceedings of the
International Conference on ReConFigurable Computing and FPGAs (ReConFig)
(pp. 1–6). https://doi.org/10.1109/ReConFig.2014.7032514'
bibtex: '@inproceedings{Wiersema_Bockhorn_Platzner_2014, title={Embedding FPGA Overlays
into Configurable Systems-on-Chip: ReconOS meets ZUMA}, DOI={10.1109/ReConFig.2014.7032514},
booktitle={Proceedings of the International Conference on ReConFigurable Computing
and FPGAs (ReConFig)}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner,
Marco}, year={2014}, pages={1–6} }'
chicago: 'Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays
into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In Proceedings of the
International Conference on ReConFigurable Computing and FPGAs (ReConFig),
1–6, 2014. https://doi.org/10.1109/ReConFig.2014.7032514.'
ieee: 'T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into
Configurable Systems-on-Chip: ReconOS meets ZUMA,” in Proceedings of the International
Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.'
mla: 'Wiersema, Tobias, et al. “Embedding FPGA Overlays into Configurable Systems-on-Chip:
ReconOS Meets ZUMA.” Proceedings of the International Conference on ReConFigurable
Computing and FPGAs (ReConFig), 2014, pp. 1–6, doi:10.1109/ReConFig.2014.7032514.'
short: 'T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International
Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.'
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:56Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1109/ReConFig.2014.7032514
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:30:58Z
date_updated: 2018-03-16T11:30:58Z
file_id: '1355'
file_name: 433-wiersema14_reconfig_IEEE_approved.pdf
file_size: 369333
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:30:58Z
has_accepted_license: '1'
language:
- iso: eng
page: '1-6 '
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the International Conference on ReConFigurable Computing
and FPGAs (ReConFig)
status: public
title: 'Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '435'
abstract:
- lang: eng
text: We give a polynomial time algorithm to compute an optimal energy and fractional
weighted flow trade-off schedule for a speed-scalable processor with discrete
speeds.Our algorithm uses a geometric approach that is based on structural properties
obtained from a primal-dual formulation of the problem.
author:
- first_name: Antonios
full_name: Antoniadis, Antonios
last_name: Antoniadis
- first_name: Neal
full_name: Barcelo, Neal
last_name: Barcelo
- first_name: Mario
full_name: Consuegra, Mario
last_name: Consuegra
- first_name: Peer
full_name: Kling, Peer
last_name: Kling
- first_name: Michael
full_name: Nugent, Michael
last_name: Nugent
- first_name: Kirk
full_name: Pruhs, Kirk
last_name: Pruhs
- first_name: Michele
full_name: Scquizzato, Michele
last_name: Scquizzato
citation:
ama: 'Antoniadis A, Barcelo N, Consuegra M, et al. Efficient Computation of Optimal
Energy and Fractional Weighted Flow Trade-off Schedules. In: Proceedings of
the 31st Symposium on Theoretical Aspects of Computer Science (STACS). LIPIcs.
; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63'
apa: Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K.,
& Scquizzato, M. (2014). Efficient Computation of Optimal Energy and Fractional
Weighted Flow Trade-off Schedules. In Proceedings of the 31st Symposium on
Theoretical Aspects of Computer Science (STACS) (pp. 63--74). https://doi.org/10.4230/LIPIcs.STACS.2014.63
bibtex: '@inproceedings{Antoniadis_Barcelo_Consuegra_Kling_Nugent_Pruhs_Scquizzato_2014,
series={LIPIcs}, title={Efficient Computation of Optimal Energy and Fractional
Weighted Flow Trade-off Schedules}, DOI={10.4230/LIPIcs.STACS.2014.63},
booktitle={Proceedings of the 31st Symposium on Theoretical Aspects of Computer
Science (STACS)}, author={Antoniadis, Antonios and Barcelo, Neal and Consuegra,
Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele},
year={2014}, pages={63--74}, collection={LIPIcs} }'
chicago: Antoniadis, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael
Nugent, Kirk Pruhs, and Michele Scquizzato. “Efficient Computation of Optimal
Energy and Fractional Weighted Flow Trade-off Schedules.” In Proceedings of
the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 63--74.
LIPIcs, 2014. https://doi.org/10.4230/LIPIcs.STACS.2014.63.
ieee: A. Antoniadis et al., “Efficient Computation of Optimal Energy and
Fractional Weighted Flow Trade-off Schedules,” in Proceedings of the 31st Symposium
on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
mla: Antoniadis, Antonios, et al. “Efficient Computation of Optimal Energy and Fractional
Weighted Flow Trade-off Schedules.” Proceedings of the 31st Symposium on Theoretical
Aspects of Computer Science (STACS), 2014, pp. 63--74, doi:10.4230/LIPIcs.STACS.2014.63.
short: 'A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs,
M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of
Computer Science (STACS), 2014, pp. 63--74.'
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:58Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.4230/LIPIcs.STACS.2014.63
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:30:23Z
date_updated: 2018-03-16T11:30:23Z
file_id: '1354'
file_name: 435-Kling_C2_STACS2014.pdf
file_size: 525851
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:30:23Z
has_accepted_license: '1'
language:
- iso: eng
page: 63--74
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '14'
name: SFB 901 - Subproject C2
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 31st Symposium on Theoretical Aspects of Computer
Science (STACS)
series_title: LIPIcs
status: public
title: Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off
Schedules
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5189'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Christian
full_name: Fritz, Christian
last_name: Fritz
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Jacques
full_name: Klein, Jacques
last_name: Klein
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
- first_name: Damien
full_name: Octeau, Damien
last_name: Octeau
- first_name: Patrick
full_name: McDaniel, Patrick
last_name: McDaniel
citation:
ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings
of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299'
apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference
on Programming Language Design and Implementation - PLDI ’14. ACM Press. https://doi.org/10.1145/2594291.2594299'
bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps}, DOI={10.1145/2594291.2594299},
booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
year={2014} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
for Android Apps.” In Proceedings of the 35th ACM SIGPLAN Conference on Programming
Language Design and Implementation - PLDI ’14. ACM Press, 2014. https://doi.org/10.1145/2594291.2594299.'
ieee: 'S. Arzt et al., “FlowDroid: Precise Context, Flow, Field, Object-sensitive
and Lifecycle-aware Taint Analysis for Android Apps,” in Proceedings of the
35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14, 2014.'
mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
and Lifecycle-Aware Taint Analysis for Android Apps.” Proceedings of the 35th
ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
’14, ACM Press, 2014, doi:10.1145/2594291.2594299.'
short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:59:33Z
date_updated: 2018-11-02T13:59:33Z
file_id: '5258'
file_name: p259-arzt.pdf
file_size: 406920
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI '14
publication_identifier:
isbn:
- '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Enrico
full_name: Lovat, Enrico
last_name: Lovat
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
System-Wide Policies in Android. In: International Conference on Availability,
Reliability and Security (ARES 2014). IEEE; 2014:40-49.'
apa: 'Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android. In International Conference
on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.'
bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
year={2014}, pages={40–49} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International
Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE,
2014.'
ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
Data-Centric, System-Wide Policies in Android,” in International Conference
on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.'
mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
Policies in Android.” International Conference on Availability, Reliability
and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:21:13Z
date_updated: 2018-11-02T13:21:13Z
file_id: '5247'
file_name: ralb14droidforce.pdf
file_size: 661565
relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '6727'
author:
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
citation:
ama: van Rooijen L. A Combinatorial Approach to the Separation Problem for Regular
Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages
Réguliers). University of Bordeaux, France; 2014.
apa: van Rooijen, L. (2014). A combinatorial approach to the separation problem
for regular languages. (Une approche combinatoire du problème de séparation pour
les langages réguliers). University of Bordeaux, France.
bibtex: '@book{van Rooijen_2014, title={A combinatorial approach to the separation
problem for regular languages. (Une approche combinatoire du problème de séparation
pour les langages réguliers)}, publisher={University of Bordeaux, France}, author={van
Rooijen, Lorijn}, year={2014} }'
chicago: Rooijen, Lorijn van. A Combinatorial Approach to the Separation Problem
for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour
Les Langages Réguliers). University of Bordeaux, France, 2014.
ieee: L. van Rooijen, A combinatorial approach to the separation problem for
regular languages. (Une approche combinatoire du problème de séparation pour les
langages réguliers). University of Bordeaux, France, 2014.
mla: van Rooijen, Lorijn. A Combinatorial Approach to the Separation Problem
for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour
Les Langages Réguliers). University of Bordeaux, France, 2014.
short: L. van Rooijen, A Combinatorial Approach to the Separation Problem for Regular
Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages
Réguliers), University of Bordeaux, France, 2014.
date_created: 2019-01-15T10:05:42Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
extern: '1'
language:
- iso: eng
publisher: University of Bordeaux, France
status: public
title: A combinatorial approach to the separation problem for regular languages. (Une
approche combinatoire du problème de séparation pour les langages réguliers)
type: dissertation
user_id: '58843'
year: '2014'
...
---
_id: '6728'
author:
- first_name: Thomas
full_name: Place, Thomas
last_name: Place
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Marc
full_name: Zeitoun, Marc
last_name: Zeitoun
citation:
ama: Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally
Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3).
doi:10.2168/lmcs-10(3:24)2014
apa: Place, T., van Rooijen, L., & Zeitoun, M. (2014). On Separation by Locally
Testable and Locally Threshold Testable Languages. Logical Methods in Computer
Science, 10(3). https://doi.org/10.2168/lmcs-10(3:24)2014
bibtex: '@article{Place_van Rooijen_Zeitoun_2014, title={On Separation by Locally
Testable and Locally Threshold Testable Languages}, volume={10}, DOI={10.2168/lmcs-10(3:24)2014},
number={3}, journal={Logical Methods in Computer Science}, publisher={Logical
Methods in Computer Science e.V.}, author={Place, Thomas and van Rooijen, Lorijn
and Zeitoun, Marc}, year={2014} }'
chicago: Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by
Locally Testable and Locally Threshold Testable Languages.” Logical Methods
in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
ieee: T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable
and Locally Threshold Testable Languages,” Logical Methods in Computer Science,
vol. 10, no. 3, 2014.
mla: Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold
Testable Languages.” Logical Methods in Computer Science, vol. 10, no.
3, Logical Methods in Computer Science e.V., 2014, doi:10.2168/lmcs-10(3:24)2014.
short: T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science
10 (2014).
date_created: 2019-01-15T10:07:47Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.2168/lmcs-10(3:24)2014
extern: '1'
intvolume: ' 10'
issue: '3'
language:
- iso: eng
publication: Logical Methods in Computer Science
publication_identifier:
issn:
- 1860-5974
publication_status: published
publisher: Logical Methods in Computer Science e.V.
status: public
title: On Separation by Locally Testable and Locally Threshold Testable Languages
type: journal_article
user_id: '58843'
volume: 10
year: '2014'
...
---
_id: '6741'
author:
- first_name: Dennis
full_name: Bokermann, Dennis
id: '11308'
last_name: Bokermann
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes
at Runtime. In: 12th International Conference on Business Process Management
(BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International
Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23'
apa: Bokermann, D., Gerth, C., & Engels, G. (2014). Use Your Best Device! Enabling
Device Changes at Runtime. In 12th International Conference on Business Process
Management (BPM 2014) (Vol. 8659, pp. 357–365). Springer International Publishing.
https://doi.org/10.1007/978-3-319-10172-9_23
bibtex: '@inproceedings{Bokermann_Gerth_Engels_2014, series={Lecture Notes in Computer
Science}, title={Use Your Best Device! Enabling Device Changes at Runtime}, volume={8659},
DOI={10.1007/978-3-319-10172-9_23},
booktitle={12th International Conference on Business Process Management (BPM 2014)},
publisher={Springer International Publishing}, author={Bokermann, Dennis and Gerth,
Christian and Engels, Gregor}, year={2014}, pages={357–365}, collection={Lecture
Notes in Computer Science} }'
chicago: Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device!
Enabling Device Changes at Runtime.” In 12th International Conference on Business
Process Management (BPM 2014), 8659:357–65. Lecture Notes in Computer Science.
Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-10172-9_23.
ieee: D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device
Changes at Runtime,” in 12th International Conference on Business Process Management
(BPM 2014), 2014, vol. 8659, pp. 357–365.
mla: Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at
Runtime.” 12th International Conference on Business Process Management (BPM
2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.
short: 'D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on
Business Process Management (BPM 2014), Springer International Publishing, 2014,
pp. 357–365.'
date_created: 2019-01-15T14:49:31Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.1007/978-3-319-10172-9_23
intvolume: ' 8659'
language:
- iso: eng
page: 357-365
publication: 12th International Conference on Business Process Management (BPM 2014)
publication_identifier:
isbn:
- '9783319101712'
- '9783319101729'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Use Your Best Device! Enabling Device Changes at Runtime
type: conference
user_id: '11308'
volume: 8659
year: '2014'
...
---
_id: '1647'
author:
- first_name: Martin
full_name: Dräxler, Martin
last_name: Dräxler
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Dräxler M, Karl H. Feasibility of Base Station Coordination and Dynamic Backhaul
Network Configuration in Backhaul Networks with Limited Capacity. In: Proceedings
of 20th European Wireless Conference . ; 2014.'
apa: Dräxler, M., & Karl, H. (2014). Feasibility of Base Station Coordination
and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.
In Proceedings of 20th European Wireless Conference .
bibtex: '@inproceedings{Dräxler_Karl_2014, title={Feasibility of Base Station Coordination
and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity},
booktitle={Proceedings of 20th European Wireless Conference }, author={Dräxler,
Martin and Karl, Holger}, year={2014} }'
chicago: Dräxler, Martin, and Holger Karl. “Feasibility of Base Station Coordination
and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.”
In Proceedings of 20th European Wireless Conference , 2014.
ieee: M. Dräxler and H. Karl, “Feasibility of Base Station Coordination and Dynamic
Backhaul Network Configuration in Backhaul Networks with Limited Capacity,” in
Proceedings of 20th European Wireless Conference , 2014.
mla: Dräxler, Martin, and Holger Karl. “Feasibility of Base Station Coordination
and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.”
Proceedings of 20th European Wireless Conference , 2014.
short: 'M. Dräxler, H. Karl, in: Proceedings of 20th European Wireless Conference
, 2014.'
date_created: 2018-03-22T14:10:02Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '75'
ec_funded: '1'
main_file_link:
- url: http://ieeexplore.ieee.org/document/6843063/?arnumber=6843063&sortType%3Dasc_p_Sequence%26filter%3DAND(p_IS_Number:6843048)
project:
- _id: '22'
call_identifier: FP7-ICT-2011-C
grant_number: '318115'
name: Connectivity management for eneRgy Optimised Wireless Dense works
publication: 'Proceedings of 20th European Wireless Conference '
related_material:
link:
- relation: confirmation
url: http://ieeexplore.ieee.org/document/6843063/?arnumber=6843063&sortType%3Dasc_p_Sequence%26filter%3DAND(p_IS_Number:6843048)
status: public
title: Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration
in Backhaul Networks with Limited Capacity
type: conference
user_id: '15572'
year: '2014'
...
---
_id: '1654'
author:
- first_name: Matthias
full_name: Herlich, Matthias
last_name: Herlich
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Herlich M, Karl H. Analytic quantification of outage probability and radiated
power of cooperative base stations. In: 12th International Symposium on Modeling
and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014. IEEE;
2014. doi:10.1109/wiopt.2014.6850365'
apa: Herlich, M., & Karl, H. (2014). Analytic quantification of outage probability
and radiated power of cooperative base stations. In 12th International Symposium
on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt)
2014. IEEE. https://doi.org/10.1109/wiopt.2014.6850365
bibtex: '@inproceedings{Herlich_Karl_2014, title={Analytic quantification of outage
probability and radiated power of cooperative base stations}, DOI={10.1109/wiopt.2014.6850365},
booktitle={12th International Symposium on Modeling and Optimization in Mobile,
Ad Hoc, and Wireless Networks (WiOpt) 2014}, publisher={IEEE}, author={Herlich,
Matthias and Karl, Holger}, year={2014} }'
chicago: Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage
Probability and Radiated Power of Cooperative Base Stations.” In 12th International
Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
(WiOpt) 2014. IEEE, 2014. https://doi.org/10.1109/wiopt.2014.6850365.
ieee: M. Herlich and H. Karl, “Analytic quantification of outage probability and
radiated power of cooperative base stations,” in 12th International Symposium
on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt)
2014, 2014.
mla: Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage Probability
and Radiated Power of Cooperative Base Stations.” 12th International Symposium
on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt)
2014, IEEE, 2014, doi:10.1109/wiopt.2014.6850365.
short: 'M. Herlich, H. Karl, in: 12th International Symposium on Modeling and Optimization
in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014.'
date_created: 2018-03-22T14:28:06Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '75'
doi: 10.1109/wiopt.2014.6850365
publication: 12th International Symposium on Modeling and Optimization in Mobile,
Ad Hoc, and Wireless Networks (WiOpt) 2014
publication_identifier:
isbn:
- '9783901882630'
publication_status: published
publisher: IEEE
status: public
title: Analytic quantification of outage probability and radiated power of cooperative
base stations
type: conference
user_id: '15572'
year: '2014'
...
---
_id: '16760'
author:
- first_name: S.
full_name: Arens, S.
last_name: Arens
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: R.
full_name: Weise, R.
last_name: Weise
- first_name: 'J. '
full_name: 'Holzinger, J. '
last_name: Holzinger
- first_name: W.
full_name: Burchert, W.
last_name: Burchert
citation:
ama: Arens S, Domik G, Weise R, Holzinger J, Burchert W. Optimierte 3D Morphologiedarstellung
tomographischer Datensätze des Herzens. 2014.
apa: Arens, S., Domik, G., Weise, R., Holzinger, J., & Burchert, W. (2014).
Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. Presented
at the 53 Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin, Hannover.
bibtex: '@article{Arens_Domik_Weise_Holzinger_Burchert_2014, place={Hannover}, series={53.
Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin}, title={Optimierte
3D Morphologiedarstellung tomographischer Datensätze des Herzens}, author={Arens,
S. and Domik, Gitta and Weise, R. and Holzinger, J. and Burchert, W.}, year={2014},
collection={53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin} }'
chicago: Arens, S., Gitta Domik, R. Weise, J. Holzinger, and W. Burchert. “Optimierte
3D Morphologiedarstellung Tomographischer Datensätze Des Herzens.” 53. Jahrestagung
Der Deutschen Gesellschaft Für Nuklearmedizin. Hannover, 2014.
ieee: S. Arens, G. Domik, R. Weise, J. Holzinger, and W. Burchert, “Optimierte 3D
Morphologiedarstellung tomographischer Datensätze des Herzens.” Hannover, 2014.
mla: Arens, S., et al. Optimierte 3D Morphologiedarstellung Tomographischer Datensätze
Des Herzens. 2014.
short: S. Arens, G. Domik, R. Weise, J. Holzinger, W. Burchert, (2014).
conference:
location: Hannover
name: 53 Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin
date_created: 2020-04-21T07:16:25Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '65'
language:
- iso: eng
place: Hannover
series_title: 53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin
status: public
title: Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens
type: conference
user_id: '90'
year: '2014'
...
---
_id: '16870'
citation:
ama: 'Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. Algorithms
for Sensor Systems - 9th International Symposium on Algorithms and Experiments
for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS}
2013. Vol 8243. Berlin, Heidelberg: Springer; 2014. doi:10.1007/978-3-642-45346-5'
apa: 'Flocchini, P., Gao, J., Kranakis, E., & Meyer auf der Heide, F. (Eds.).
(2014). Algorithms for Sensor Systems - 9th International Symposium on Algorithms
and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics,
{ALGOSENSORS} 2013 (Vol. 8243). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-45346-5'
bibtex: '@book{Flocchini_Gao_Kranakis_Meyer auf der Heide_2014, place={Berlin, Heidelberg},
series={Lecture Notes in Computer Science}, title={Algorithms for Sensor Systems
- 9th International Symposium on Algorithms and Experiments for Sensor Systems,
Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013}, volume={8243},
DOI={10.1007/978-3-642-45346-5},
publisher={Springer}, year={2014}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Flocchini, Paola, Jie Gao, Evangelos Kranakis, and Friedhelm Meyer auf
der Heide, eds. Algorithms for Sensor Systems - 9th International Symposium
on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed
Robotics, {ALGOSENSORS} 2013. Vol. 8243. Lecture Notes in Computer Science.
Berlin, Heidelberg: Springer, 2014. https://doi.org/10.1007/978-3-642-45346-5.'
ieee: 'P. Flocchini, J. Gao, E. Kranakis, and F. Meyer auf der Heide, Eds., Algorithms
for Sensor Systems - 9th International Symposium on Algorithms and Experiments
for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS}
2013, vol. 8243. Berlin, Heidelberg: Springer, 2014.'
mla: Flocchini, Paola, et al., editors. Algorithms for Sensor Systems - 9th International
Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks
and Distributed Robotics, {ALGOSENSORS} 2013. Vol. 8243, Springer, 2014, doi:10.1007/978-3-642-45346-5.
short: P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms
for Sensor Systems - 9th International Symposium on Algorithms and Experiments
for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS}
2013, Springer, Berlin, Heidelberg, 2014.
date_created: 2020-04-27T10:31:57Z
date_updated: 2022-01-06T06:52:58Z
department:
- _id: '63'
doi: 10.1007/978-3-642-45346-5
editor:
- first_name: Paola
full_name: Flocchini, Paola
last_name: Flocchini
- first_name: Jie
full_name: Gao, Jie
last_name: Gao
- first_name: Evangelos
full_name: Kranakis, Evangelos
last_name: Kranakis
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
intvolume: ' 8243'
language:
- iso: eng
place: Berlin, Heidelberg
publication_identifier:
isbn:
- '9783642453458'
- '9783642453465'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and
Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS}
2013
type: book_editor
user_id: '15415'
volume: 8243
year: '2014'
...
---
_id: '10602'
author:
- first_name: Lars
full_name: Schaefers, Lars
last_name: Schaefers
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Schaefers L, Platzner M. A Novel Technique and its Application to Computer
Go. IEEE Transactions on Computational Intelligence and AI in Games. 2014;6(3):361-374.
doi:10.1109/TCIAIG.2014.2346997
apa: Schaefers, L., & Platzner, M. (2014). A Novel Technique and its Application
to Computer Go. IEEE Transactions on Computational Intelligence and AI in Games,
6(3), 361–374. https://doi.org/10.1109/TCIAIG.2014.2346997
bibtex: '@article{Schaefers_Platzner_2014, title={A Novel Technique and its Application
to Computer Go}, volume={6}, DOI={10.1109/TCIAIG.2014.2346997},
number={3}, journal={IEEE Transactions on Computational Intelligence and AI in
Games}, author={Schaefers, Lars and Platzner, Marco}, year={2014}, pages={361–374}
}'
chicago: 'Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application
to Computer Go.” IEEE Transactions on Computational Intelligence and AI in
Games 6, no. 3 (2014): 361–74. https://doi.org/10.1109/TCIAIG.2014.2346997.'
ieee: L. Schaefers and M. Platzner, “A Novel Technique and its Application to Computer
Go,” IEEE Transactions on Computational Intelligence and AI in Games, vol.
6, no. 3, pp. 361–374, 2014.
mla: Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application
to Computer Go.” IEEE Transactions on Computational Intelligence and AI in
Games, vol. 6, no. 3, 2014, pp. 361–74, doi:10.1109/TCIAIG.2014.2346997.
short: L. Schaefers, M. Platzner, IEEE Transactions on Computational Intelligence
and AI in Games 6 (2014) 361–374.
date_created: 2019-07-10T09:22:43Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1109/TCIAIG.2014.2346997
intvolume: ' 6'
issue: '3'
language:
- iso: eng
page: 361-374
publication: IEEE Transactions on Computational Intelligence and AI in Games
status: public
title: A Novel Technique and its Application to Computer Go
type: journal_article
user_id: '3118'
volume: 6
year: '2014'
...