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

An Efficient and Flexible Deterministic Framework for Multi..:

Lu, Kai ; Zhou, Xu ; Wang, Xiao-Ping..
Journal of Computer Science and Technology.  30 (2015)  1 - p. 42-56 , 2015
Link: https://doi.org/10.1007/..
 
?
2

Efficient deterministic multithreading without global barri..:

Lu, Kai ; Zhou, Xu ; Bergan, Tom.
ACM SIGPLAN Notices.  49 (2014)  8 - p. 287-300 , 2014
Link: https://doi.org/10.1145/..
 
?
3

Efficient deterministic multithreading without global barri..:

, In: Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming,
Lu, Kai ; Zhou, Xu ; Bergan, Tom. - p. 287-300 , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Symbolic execution of multithreaded programs from arbitrary..:

Bergan, Tom ; Grossman, Dan ; Ceze, Luis
ACM SIGPLAN Notices.  49 (2014)  10 - p. 491-506 , 2014
Link: https://doi.org/10.1145/..
 
?
5

Symbolic execution of multithreaded programs from arbitrary..:

, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,
Bergan, Tom ; Grossman, Dan ; Ceze, Luis - p. 491-506 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

DDOS: taming nondeterminism in distributed systems:

Hunt, Nicholas ; Bergan, Tom ; Ceze, Luis.
ACM SIGPLAN Notices.  48 (2013)  4 - p. 499-508 , 2013
Link: https://doi.org/10.1145/..
 
?
7

DDOS : taming nondeterminism in distributed systems:

, In: Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems,
Hunt, Nicholas ; Bergan, Tom ; Ceze, Luis. - p. 499-508 , 2013
Link: https://dl.acm.org/doi/1..
 
?
8

DDOS: taming nondeterminism in distributed systems:

Hunt, Nicholas ; Bergan, Tom ; Ceze, Luis.
ACM SIGARCH Computer Architecture News.  41 (2013)  1 - p. 499-508 , 2013
Link: https://doi.org/10.1145/..
 
?
9

Input-covering schedules for multithreaded programs:

, In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications,
Bergan, Tom ; Ceze, Luis ; Grossman, Dan - p. 677-692 , 2013
Link: https://dl.acm.org/doi/1..
 
?
10

Input-covering schedules for multithreaded programs:

Bergan, Tom ; Ceze, Luis ; Grossman, Dan
ACM SIGPLAN Notices.  48 (2013)  10 - p. 677-692 , 2013
Link: https://doi.org/10.1145/..
 
?
11

RCDC: a relaxed consistency deterministic computer:

Devietti, Joseph ; Nelson, Jacob ; Bergan, Tom..
ACM SIGPLAN Notices.  47 (2012)  4 - p. 67 , 2012
Link: https://doi.org/10.1145/..
 
?
12

RCDC: a relaxed consistency deterministic computer:

Devietti, Joseph ; Nelson, Jacob ; Bergan, Tom..
ACM SIGARCH Computer Architecture News.  39 (2011)  1 - p. 67-78 , 2011
Link: https://doi.org/10.1145/..
 
?
13

RCDC : a relaxed consistency deterministic computer:

, In: Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems,
Devietti, Joseph ; Nelson, Jacob ; Bergan, Tom.. - p. 67-78 , 2011
Link: https://dl.acm.org/doi/1..
 
?
14

RCDC: a relaxed consistency deterministic computer:

Devietti, Joseph ; Nelson, Jacob ; Bergan, Tom..
ACM SIGPLAN Notices.  46 (2011)  3 - p. 67-78 , 2011
Link: https://doi.org/10.1145/..
 
?
15

Deterministic process groups in dOS:

, In: Proceedings of the 9th USENIX conference on Operating systems design and implementation,
Bergan, Tom ; Hunt, Nicholas ; Ceze, Luis. - p. 177-191 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15