Home | Amazing | Today | Tags | Publishers | Years | Search 
Emerging Research Directions in Computer Science
Emerging Research Directions in Computer Science

It is my pleasure to introduce this volume outlining new directions in computer science investigated by the junior researchers of the faculty of informatics at the Karlsruhe Institute of Technology (KIT). Each paper presents a young researcher’s scientific contributions and the research vision for a whole junior research group.

...

High-performance and Hardware-aware Computing
High-performance and Hardware-aware Computing

High-performance system architectures are increasingly exploiting heterogeneity: multi- and manycore-based systems are complemented by coprocessors, accelerators, and reconfigurable units providing huge computational power. However, applications of scientific interest (e.g. in high-performance computing and numerical simulation) are not yet...

Coupled Model Transformations for QoS Enabled Component-Based Software Design
Coupled Model Transformations for QoS Enabled Component-Based Software Design

Performance-aware Component-based Software-Development A characteristic of an engineering discipline is the ability to predict the impact of design decisions. For example, in civil engineering accurate predictions of the impact of adding an additional ?oor on a construction’s statics are available. Having a similar ability in software...

Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs
Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs

This thesis presents several precise techniques that analyze object-oriented languages for security violations, together with evaluations on Java benchmarks. The key question that will be targeted throughout this work is “Can a given statement directly or indirectly influence another statement, and if this is possible, how can this...

Controlled Self-Organisation Using Learning Classifier Systems
Controlled Self-Organisation Using Learning Classifier Systems

The complexity of technical systems increases continuously. Breakdowns and fatal errors occur quite often, respectively. Therefore, the mission of organic computing is to tame these challenges in technical systems by providing appropriate degrees of freedom for self-organised behaviour. Technical systems should adapt to changing requirements...

Policy-based contracting in semantic web service markets
Policy-based contracting in semantic web service markets
Web services generalize the idea of the Web beyond the exchange of simple Web pages in order to enable the provision of a broad range of different services. By com- posing Web services, cross-organizational and collaborative business processes can be realized in a highly dynamic and flexible way, which is particularly important if...
   
   
Result Page: 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy