41–60 of 126 hits
Sort by:
Sort by:
-
Optimization of Dense Matrix Multiplication on IBM Cyclops-64: Challenges and Experiences
Springer Verlag | 2006|Keywords: Program Language Design -
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
Springer Verlag | 2006|Keywords: Program Language Design -
An Embedded Systems Programming Environment for C
Springer Verlag | 2006|Keywords: Program Language Design -
Towards a Versatile Pointer Analysis Framework
Springer Verlag | 2006|Keywords: Program Language Design -
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code
Free accessSpringer Verlag | 2006|Keywords: Program Language Design -
Modular Monadic Slicing in the Presence of Pointers
Free accessSpringer Verlag | 2006|Keywords: Program Language Design -
Static Memory Management for Logic Programming Languages
Springer Verlag | 2006|Keywords: Program Language Design -
Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics
Springer Verlag | 2005|Keywords: Program Language Design -
A Practical MHP Information Analysis for Concurrent Java Programs
Springer Verlag | 2005|Keywords: Program Language Design -
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Free accessSpringer Verlag | 2005|Keywords: Program Language Design -
An Empirical Study on the Granularity of Pointer Analysis in C Programs
Springer Verlag | 2005|Keywords: Program Language Design -
Banshee: A Scalable Constraint-Based Analysis Toolkit
Springer Verlag | 2005|Keywords: Program Language Design -
An Overview of the Open Research Compiler
Springer Verlag | 2005|Keywords: Program Language Design -
Data Slicing: Separating the Heap into Independent Regions
Free accessSpringer Verlag | 2005|Keywords: Program Language Design -
Statically Safe Program Generation with SafeGen
Springer Verlag | 2005|Keywords: Program Language Design -
Static Analysis versus Software Model Checking for Bug Finding
Springer Verlag | 2004|Keywords: Program Language Design -
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation
Springer Verlag | 2004|Keywords: Program Language Design
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.