Search Sciweavers | Sciweavers

4716 search results - page 26 / 944

» Iterative-free program analysis

click to vote

CSMR
2005
IEEE

96views Software Engineering» more CSMR 2005»

An XML-Based Framework for Language Neutral Program Representation and Generic Analysis

14 years 3 months ago

Download swag.uwaterloo.ca

XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...

Raihan Al-Ekram, Kostas Kontogiannis

claim paper

Read More »

click to vote

POPL
2011
ACM

190views Programming Languages» more POPL 2011»

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

13 years 15 days ago

Download www2.in.tum.de

We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...

claim paper

Read More »

click to vote

IWPC
1997
IEEE

129views Software Engineering» more IWPC 1997»

A Case Study of Domain-based Program Understanding

14 years 1 months ago

Download www.ece.gatech.edu

Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...

Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...

claim paper

Read More »

click to vote

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

14 years 4 months ago

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »