|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernd Burgstaller, Bernhard Scholz, Johann Blieberger |
A symbolic analysis framework for static analysis of imperative programming languages.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymes Khoury, Bernd Burgstaller, Bernhard Scholz |
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.  |
IEEE Trans. Parallel Distrib. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
math script languages, Cell Broadband Engine architecture, scheduling, Programming languages, data partitioning, lazy evaluation |
| 1 | Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz |
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
Orchestration by approximation: mapping stream programs onto multicore architectures.  |
ASPLOS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wasuwee Sodsong, Bernd Burgstaller |
Fast Fourier Transformation Algorithm for Single-Chip Cloud Computers Using RCCE.  |
MARC Symposium  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger |
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymes Khoury, Bernd Burgstaller, Bernhard Scholz |
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz |
TinyVM, an efficient virtual machine infrastructure for sensor networks.  |
SenSys  |
2009 |
DBLP DOI BibTeX RDF |
binary/bytecode partitioning, mixed-mode execution, virtual machines, code compression |
| 1 | Taekhoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim, Jiin Park, Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms.  |
CSIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Scholz, Bernd Burgstaller, Jingling Xue |
Minimal placement of bank selection instructions for partitioned memory architectures.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Partitioned boolean quadratic programming, bank selection, partitioned memory architectures |
| 1 | Bernd Burgstaller, Bernhard Scholz |
Program Assemblers.  |
Wiley Encyclopedia of Computer Science and Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller, Robert Mittermayr |
Static Detection of Livelocks in Ada Multitasking Programs.  |
Ada-Europe  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Burgstaller, Bernhard Scholz, M. Anton Ertl |
An Embedded Systems Programming Environment for C.  |
Euro-Par  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Burgstaller, Johann Blieberger, Robert Mittermayr |
Static Detection of Access Anomalies in Ada95.  |
Ada-Europe  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Scholz, Bernd Burgstaller, Jingling Xue |
Minimizing bank selection instructions for partitioned memory architecture.  |
CASES  |
2006 |
DBLP DOI BibTeX RDF |
PBQP, RAM allocation, bank-switching, partitioned memory architecture, compiler optimization, microcontrollers |
| 1 | Bernd Burgstaller, Bernhard Scholz, Johann Blieberger |
Symbolic Analysis of Imperative Programming Languages.  |
JMLC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Burgstaller, Johann Blieberger, Bernhard Scholz |
On the Tree Width of Ada Programs.  |
Ada-Europe  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Busy Wait Analysis.  |
Ada-Europe  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller |
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.  |
Ada-Europe  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.  |
Ada-Europe  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.  |
Ada-Europe  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller |
Symbolic Reaching Definitions Analysis of Ada Programs.  |
Ada-Europe  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Roland Lieger, Bernd Burgstaller |
Augmenting Ada 95 with Additional Real-Time Features.  |
Ada-Europe  |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|