Search Sciweavers | Sciweavers

4719 search results - page 98 / 944

» Newtonian program analysis

click to vote

LICS
2009
IEEE

134views Automated Reasoning» more LICS 2009»

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

14 years 4 months ago

Download www.cs.bham.ac.uk

After informally reviewing the main concepts from game semantics and placing the development of the ﬁeld in a historical context we examine its main applications. We focus in pa...

Dan R. Ghica

claim paper

Read More »

click to vote

IWPEC
2009
Springer

103views Applied Computing» more IWPEC 2009»

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

14 years 4 months ago

Download faculty.cs.tamu.edu

Gregory Gutin, Daniel Karapetyan, Igor Razgon

claim paper

Read More »

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

14 years 4 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

click to vote

CSMR
2007
IEEE

89views Software Engineering» more CSMR 2007»

Supporting Reliable Software Evolution through Program Analysis

14 years 4 months ago

Download www.esi.nl

This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We brieﬂy outline the relevant developments that drive this need...

Cathal Boogerd

claim paper

Read More »

click to vote

ICMCS
2007
IEEE

97views Multimedia» more ICMCS 2007»

Semantic Segmentation of Radio Programs using Social Network Analysis and Duration Distribution Modeling

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers