Europar – International European Conference on Parallel and...
europar2017.usc.es
Michele Weiland (EPCC at University of Edinburgh, UK) Yiannis Nikolakopoulos (TU Chalmers, Sweden) Polyvios Pratikakis (FORTH, Greece) Martin Burtscher ( Texas State University, USA) Georgios Goumas (National Technical University of Athens, Greece) Rutger Hofman (Vrije Universiteit Amsterdam, The Netherlands)
Theorem Proving in Higher Order Logics: 21st International Conference...
books.google.de
Formalizing Soundness of Contextual Effects Polyvios Pratikakis,JeffreyS.Foster,MichaelHicks, and IulianNeamtiu University of Maryland, College Park, MD ...
Sound, Precise and Efficient Static Race Detection for Multi-threaded...
books.google.de
Title, Sound, Precise and Efficient Static Race Detection for Multi-threaded Programs. Author, Polyvios Pratikakis. Publisher, University of Maryland, Export Citation, BiBTeX EndNote RefMan ...
[PDF] Sound, precise and efficient static race detection for multi-threaded ...www.cs.tufts.edu › ~jfoster › papers › thesis-pratikakis
www.cs.tufts.edu
Polyvios Pratikakis. Dissertation submitted to the Faculty of the Graduate School of the. University of Maryland, College Park in partial fulfillment.
StreamHPC is at HiPEAC, Berlin - StreamHPC
streamhpc.com
... (Chunyang Gou – University of Delft); The Formic architecture and Myrmics runtime system (Polyvios Pratikakis & Spyros Lyberis – FORTH).
Alle Infos zum Namen "Polyvios Pratikakis"
Polyvios Pratikakis — EUROEXA
euroexa.eu
Polyvios Pratikakis. Assistant Professor University of Crete Heraklion, Crete. Linkedin Profile. Following his undergraduate studies in Engineering at the ...
Polyvios Pratikakis - HiPEACwww.hipeac.net › ~polyvios
www.hipeac.net
Polyvios Pratikakis is an Assistant Professor at the Computer Science Department of the University of Crete, and collaborating reseracher at ICS-FORTH.
Contextual Effects for Version-Consistent Dynamic Software ...web.njit.edu › ~ineamtiu › pubs › MT-TR
web.njit.edu
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Technical Report CS-TR-4875, University of Maryland, Department of Computer ...
Dimitrios Skarlatos - CyLab - Carnegie Mellon Universitywww.cylab.cmu.edu › directory › bios › skarlatos-di...
www.cylab.cmu.edu
During his years in Crete, Skarlatos had the chance to work with Dionisios Pnevmatikatos, Apostolos Dollas, Ioannis Papaefstathiou, and Polyvios Pratikakis.
5th Workshop on Design for Reliability (DFR 2013)
www.cs.ucy.ac.cy
Dimitrios Skarlatos (Technical University of Crete), Polyvios Pratikakis (FORTH- ICS), Dionysios Pnevmatikatos (Technical University of Crete) 14:30-15:30: ...
Konstantinos Sotiropoulos - Boston Universitycs-people.bu.edu › ksotirop › publications
cs-people.bu.edu
Konstantinos Sotiropoulos, John W. Byers, Polyvios Pratikakis, Charalampos E Tsourakakis 57th Annual Allerton Conference on Communication, Control, ...
Contextual effects for version-consistent dynamic software updating...
www.semanticscholar.org
Contextual Effects for Version-Consistent Dynamic Software. Updating and Safe Concurrent Programming. ∗. Iulian Neamtiu. Michael Hicks. Jeffrey S. Foster. Polyvios Pratikakis. Department of Computer Science. University of Maryland. College Park, MD , USA. .edu. Abstract.
Students - University of Oregonwww.cs.uoregon.edu › summerschool › summer04
www.cs.uoregon.edu
polyvios, Polyvios Pratikakis, cs umd edu. penny, Penny Anderson, cs lafayette edu. lipeng, Peng Li, cis upenn edu. lependpj, Paea LePendu, whitman edu.
ISMM | International Symposium on Memory Management
ismm2014.cs.tufts.edu
Shan Lu, University of Wisconsin. Rob O'Callahan, Mozilla. Melissa O'Neill, Harvey Mudd College. Polyvios Pratikakis, FORTH ICS. Tony Printezis, Twitter. Tomoharu Ugawa, Kochi University of Technology. Harry Xu, UC Irvine. External Review Committee: Eddie Aftandilian, Google. Michael Bond, Ohio State University.
MULTIPROG workshop
research.ac.upc.edu
Naoya Maruyama, RIKEN AICS, Japan. Oscar Plata, University of Malaga, Spain. Pedro Trancoso, University of Cyprus, Cyprus. Polyvios Pratikakis, FORTH-ICS, Greece. Roberto Gioiosa, Pacific Northwest National Laboratory, USA. Ruben Titos, BSC, Spain. Sasa Tomic, IBM Research, Switzerland. Simon McIntosh- Smith ...
Participating Researchers - EURO-TM
www.eurotm.org
Prof. Panagiota FATOUROU, Foundation for Research and Technology, Greece. Prof. Polyvios PRATIKAKIS, Foundation for Research and Technology, Greece. Prof. Shlomi DOLEV, Ben-Gurion Univeristy, Israel. Prof. Danny HENDLER, Ben- Gurion University, Israel. Prof. Nir SHAVIT, TAU and Oracle Labs, Israel.
Verwandte Suchanfragen zu Polyvios Pratikakis
Dimitrios Skarlatos Hans Vandierendonck Michael Hicks | Maria Oikonomidou |
Personen Vorname "Polyvios" (3) Name "Pratikakis" (3) |
sortiert nach Relevanz / Datum