|
|
|
|
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: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")