Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:cth ;pers:(Tsigas Philippas 1967)"

Sökning: LAR1:cth > Tsigas Philippas 1967

  • Resultat 1-10 av 188
Sortera/gruppera träfflistan
  • Almgren, Magnus, 1972-, et al. (författare)
  • Mapping Systems Security Research at Chalmers
  • 2011
  • Ingår i: First SysSec Workshop (SysSec 2011). - 978-0-7695-4530-1 ; s. 67-70
  • Konferensbidrag (refereegranskat)abstract
    • The department of Computer Science and Engineering at Chalmers University has a long tradition of research in systems security, including security metrics, attack detection, and mitigation. We focus on security issues arising in four specific environments: (1) backbone links, (2) sensor networks, (3) the connected car, and (4) the smart grid. In this short summary we describe recent results as well as open research questions we are exploring.
  • Assarsson, Ulf, 1972-, et al. (författare)
  • Image-Space Dynamic Transparency for Improved Object Discovery in 3D Environments
  • 2006
  • Rapport (övrigt vetenskapligt)abstract
    • We present an image-space algorithm for dynamic transparency with the purpose of supporting object discovery and access in information-rich 3D visualization environments. The algorithm is based on multiple rendering passes and detects instances of object occlusion in the image-space using the fragment shader capabilities of modern programmable graphics hardware, creating alpha maps of opacity gradients around the occluded objects. In essence, the effect is somewhat similar to “X-ray vision” of a superhero. We have implemented a prototype version of our algorithm with real-time rendering performance using a number of optimizations and speedups on current graphics hardware. To evaluate its use, we have also implemented three different example applications portraying different scenarios, including abstract visualization, virtual walkthrough, and gaming. Preliminary results from an empirical user study comparing our technique to standard viewpoint controls indicate that our technique is superior in regards to object discovery efficiency. These results hold over both completion times as well as correctness of a visual search task.
  • Atalar, Aras, 1985-, et al. (författare)
  • Analyzing the Performance of Lock-Free Data Structures: A Conflict-Based Model
  • 2015
  • Ingår i: Lecture Notes in Computer Science - 29th International Symposium on Distributed Computing (DISC). - 0302-9743. - 978-3-662-48653-5 ; 9363, s. 341-355
  • Konferensbidrag (refereegranskat)abstract
    • This paper considers the modeling and the analysis of the performance of lock-free concurrent data structures that can be represented as linear combinations of fixed size retry loops. Our main contribution is a new way of modeling and analyzing a general class of lock-free algorithms, achieving predictions of throughput that are close to what we observe in practice. We emphasize two kinds of conflicts that shape the performance: (i) hardware conflicts, due to concurrent calls to atomic primitives; (ii) logical conflicts, caused by concurrent operations on the shared data structure. We propose also a common framework that enables a fair comparison between lock-free implementations by covering the whole contention domain, and comes with a method for calculating a good back-off strategy. Our experimental results, based on a set of widely used concurrent data structures and on abstract lock-free designs, show that our analysis follows closely the actual code behavior.(1)
  • Atalar, Aras, 1985-, et al. (författare)
  • Modeling and Analyzing the Performance of Lock-Free Data Structures
  • 2014
  • Rapport (övrigt vetenskapligt)abstract
    • This paper considers the modeling and the analysis of the performance of lock-free concurrent data structures. Lock-free designs employ an optimistic conflict control approach, allowing several processes to access the shared data object at the same time. The operations on these data structures are typically designed as compositions of retry loops. Our main contribution is a new way of modeling and analyzing a general class of lock-free algorithms, achieving predictions of throughput that are close to what we observe in practice. In our model we introduce two key metrics that shape the performance of lock-free algorithms: (i) expansion in execution time of a retry due to memory congestion and (ii) number of wasted retries. We show how to compute these two metrics, and how to combine them, to calculate the throughput of an arguably large class of lock-free algorithms. Our analysis also captures the throughput performance of a lock-free algorithm when executed as part of a larger parallel application. This part of our analysis leads to an analytical method for calculating a good back-off strategy to finely tune the performance of a lock-free application. Our experimental results, based on a set of widely used concurrent data structures and on abstract lock-free designs, show that our analysis follows closely the actual code behavior. To the best of our knowledge, this is the first attempt to make ends meet between theoretical bounds on performance and actual measured throughput.
  • Atalar, Aras, 1985-, et al. (författare)
  • Modeling Energy Consumption of Lock-Free Queue Implementations
  • 2015
  • Rapport (övrigt vetenskapligt)abstract
    • This paper considers the problem of modeling the energy behavior of lock-free concurrent queue data structures. Our main contribution is a way to model the energy behavior of lock-free queue implementations and parallel applications that use them. Focusing on steady state behavior we decompose energy behavior into throughput and power dissipation which can be modeled separately and later recombined into several useful metrics, such as energy per operation. Based on our models, instantiated from synthetic benchmark data, and using only a small amount of additional application specific information, energy and throughput predictions can be made for parallel applications that use the respective data structure implementation. To model throughput we propose a generic model for lock-free queue throughput behavior, based on a combination of the dequeuers’ throughput and enqueuers’ throughput. To model power dissipation we commonly split the contributions from the various computer components into static, activation and dynamic parts, where only the dynamic part depends on the actual instructions being executed. To instantiate the models a synthetic benchmark explores each queue implementation over the dimensions of processor frequency and number of threads. Finally, we show how to make predictions of application throughput and power dissipation for a parallel application using a lock-free queue requiring only a limited amount of information about the application work done between queue operations. Our case study on a Mandelbrot application shows convincing prediction results.
  • Benkner, S., et al. (författare)
  • The PEPPHER approach to programmability and performance portability for heterogeneous many-core architectures
  • 2012
  • Ingår i: Advances in Parallel Computing. - 9781614990406
  • Bokkapitel (övrigt vetenskapligt)abstract
    • The European FP7 project PEPPHER is addressing programmability and performance portability for current and emerging heterogeneous many-core architectures. As its main idea, the project proposes a multi-level parallel execution model comprised of potentially parallelized components existing in variants suitable for different types of cores, memory configurations, input characteristics, optimization criteria, and couples this with dynamic and static resource and architecture aware scheduling mechanisms. Crucial to PEPPHER is that components can be made performance aware, allowing for more efficient dynamic and static scheduling on the concrete, available resources. The flexibility provided in the software model, combined with a customizable, heterogeneous, memory and topology aware run-time system is key to efficiently exploiting the resources of each concrete hardware configuration. The project takes a holistic approach, relying on existing paradigms, interfaces, and languages for the parallelization of components, and develops a prototype framework, a methodology for extending the framework, and guidelines for constructing performance portable software and systems-including paths to migration of existing software-for heterogeneous many-core processors. This paper gives a high-level project overview, and presents a specific example showing how the PEPPHER component variant model and resource-aware run-time system enable performance portability of a numerical kernel. © 2012 The authors and IOS Press. All rights reserved.
  • Casado, Lander, 1985-, et al. (författare)
  • ContikiSec: A Secure Network Layer for Wireless Sensor Networks under the Contiki Operating System
  • 2009
  • Ingår i: Proceedings of the 14th Nordic Conference on Secure IT Systems (NordSec 2009), Lecture Notes in Computer Science. - 1611-3349. - 978-3-642-04765-7 ; 5838, s. 133-147
  • Konferensbidrag (refereegranskat)abstract
    • In this paper we introduce ContikiSec, a secure network layer for wireless sensor networks, designed for the Contiki Operating System. ContikiSec has a configurable design, providing three security modes starting from confidentiality and integrity, and expanding to confidentiality, authentication, and integrity. ContikiSec has been designed to balance low energy consumption and security while conforming to a small memory footprint. Our design was based on performance evaluation of existing security primitives and is part of the contribution of this paper. Our evaluation was performed in the Modular Sensor Board hardware platform for wireless sensor networks, running Contiki. Contiki is an open source, highly portable operating system for wireless sensor networks (WSN) that is widely used in WSNs.
  • Casimiro, Antonio, et al. (författare)
  • KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
  • 2012
  • Ingår i: Lecture Notes in Computer Science: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Springer, Lecture Notes in Computer Science. - 0302-9743. - 978-3-642-33535-8 ; 7596, s. 232-235
  • Konferensbidrag (refereegranskat)abstract
    • KARYON, a kernel-based architecture for safety-critical control, is a European project that proposes a new perspective to improve performance of smart vehicle coordination focusing on Advanced Driver Assistance Systems (ADASs) and Unmanned Aerial Systems (UAS). The key objective is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. Currently, these systems are not allowed to operate on the public roads or in the air space, as the risk of causing severe damage cannot be excluded with sufficient certainty. The impact of the project is two-fold; it will provide improved vehicle density without driver involvement and increased traffic throughput to maintain mobility without a need to build new traffic infrastructures. The results will improve interaction in cooperation scenarios while preserving safety and assessing it according to standards. The prospective project results include self-stabilizing algorithms for vehicle coordination, communication and synchronization. In addition, we aim at showing that the safety kernel can be designed to be a self-stabilizing one.
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 188
fritt online (11)
Typ av publikation
konferensbidrag (96)
rapport (50)
tidskriftsartikel (36)
bokkapitel (4)
samlingsverk (redaktörskap) (1)
bok (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (127)
övrigt vetenskapligt (61)
Papatriantafilou, Ma ... (56)
Cederman, Daniel, 19 ... (26)
Ha, Phuong, 1976- (26)
Elmqvist, Niklas, 19 ... (25)
Schiller, Elad Micha ... (20)
visa fler...
Gidenstam, Anders, 1 ... (18)
Sundell, Håkan, 1968 ... (14)
Nikolakopoulos, Yian ... (13)
Larsson, Andreas, 19 ... (12)
Moradi, Farnaz, 1983 ... (12)
Olovsson, Tomas, 195 ... (11)
Gulisano, Vincenzo, ... (9)
Walulya, Ivan, 1985- ... (9)
Koldehofe, Boris, 19 ... (9)
Anshus, Otto (8)
Zhang, Yi, 1971-, (8)
Fu, Zhang, 1982-, (6)
Dolev, Shlomi (6)
Chatterjee, Bapi, 19 ... (6)
Spirakis, Paul G. (5)
Damaschke, Peter, 19 ... (4)
Renaud-Goud, Paul, 1 ... (4)
Nguyen Dang, Nhan, 1 ... (4)
Hoepman, Jaap-Henk (4)
Almgren, Magnus, 197 ... (3)
Assarsson, Ulf, 1972 ... (3)
Atalar, Aras, 1985-, (3)
Mustafa, Mohamed, (3)
Petig, Thomas, 1985- ... (3)
Stasko, John (3)
Wimmer, Martin (3)
Berger, Christian, (2)
Wimmer, M. (2)
Soudris, Dimitrios (2)
Larsson Träff, Jespe ... (2)
Dahlgren, Erik, 1989 ... (2)
Grundén, Johan, 1985 ... (2)
Holtryd, Nadia, 1988 ... (2)
Khazal, Anmar, 1988- ... (2)
Steup, Christoph (2)
Swantesson, Viktor, ... (2)
Chaudhry, Muhammad T ... (2)
Tudoreanu, Eduard (2)
Salem, Iosif, 1986-, (2)
Papadopoulos, Lazaro ... (2)
Papadopoulos, L. (2)
Sundell, Per Håkan, (2)
Träff, J.L. (2)
Hansson, Hans, (1)
visa färre...
Chalmers tekniska högskola (188)
Göteborgs universitet (3)
Engelska (188)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (179)
Teknik (10)
Samhällsvetenskap (2)


pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy