Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dobel, Bjorn
14  Ergebnisse:
Personensuche X
?
1

Using model checking tools to triage the severity of securi..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Cook, Byron ; Dobel, Bjorn ; Kroening, Daniel... - p. 185-193 , 2020
Link: https://doi.org/10.34727..
 
?
2

Can we put concurrency back into redundant multithreading?:

, In: Proceedings of the 14th International Conference on Embedded Software,
Döbel, Björn ; Härtig, Hermann - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

eBond : energy saving in heterogeneous R.A.I.N:

, In: Proceedings of the fourth international conference on Future energy systems,
Hähnel, Marcus ; Döbel, Björn ; Völp, Marcus. - p. 193-202 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Measuring energy consumption for short code paths using RAP:

Hähnel, Marcus ; Döbel, Björn ; Völp, Marcus.
ACM SIGMETRICS Performance Evaluation Review.  40 (2012)  3 - p. 13-17 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

Operating system support for redundant multithreading:

, In: Proceedings of the tenth ACM international conference on Embedded software,
Döbel, Björn ; Härtig, Hermann ; Engel, Michael - p. 83-92 , 2012
Link: https://dl.acm.org/doi/1..
 
?
6

Measuring energy consumption for short code paths using RAP:

Hähnel, Marcus ; Döbel, Björn ; Völp, Marcus.
ACM SIGMETRICS Performance Evaluation Review.  40 (2012)  3 - p. 13-17 , 2012
Link: https://doi.org/10.1145/..
 
?
7

Capability wrangling made easy: debugging on a microkernel ..:

Pohle, Aaron ; Döbel, Björn ; Roitzsch, Michael.
ACM SIGPLAN Notices.  45 (2010)  7 - p. 3-12 , 2010
Link: https://doi.org/10.1145/..
 
?
8

Capability wrangling made easy : debugging on a microker..:

, In: Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments,
Pohle, Aaron ; Döbel, Björn ; Roitzsch, Michael. - p. 3-12 , 2010
Link: https://dl.acm.org/doi/1..
 
?
9

Using model checking tools to triage the severity of securi..:

Cook, Byron ; Döbel, Björn ; Kroening, Daniel...
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
10

Resource-Aware Replication on Heterogeneous Multicores: Cha..:

Döbel, Björn ; Muschner, Robert ; Härtig, Hermann
http://arxiv.org/abs/1405.2913.  , 2014
Link: http://arxiv.org/abs/140..
 
?
11

Operating System Support for Redundant Multithreading:

Döbel, Björn
urn:nbn:de:bsz:14-qucosa-157190.  , 2014
Link: https://nbn-resolving.or..
 
?
12

Measuring energy consumption for short code paths using RAP:

Hähnel, Marcus ; Döbel, Björn ; Völp, Marcus.
10.1145/2425248.2425252.  , 2013
Link: https://nbn-resolving.or..
 
?
13

Request tracking in DROPS:

Döbel, Björn
urn:nbn:de:bsz:14-qucosa-26214.  , 2010
Link: https://nbn-resolving.or..
 
?
14

Operating System Support for Redundant Multithreading:

Döbel, Björn , 2014
Link: http://nbn-resolving.de/..
 
1-14