Search Sciweavers | Sciweavers

4719 search results - page 98 / 944

» Newtonian program analysis

135

Voted

LICS
2009
IEEE

134views Automated Reasoning» more LICS 2009»

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

15 years 10 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 »

122

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

15 years 10 months ago

Download faculty.cs.tamu.edu

Gregory Gutin, Daniel Karapetyan, Igor Razgon

claim paper

Read More »

106

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

15 years 10 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

109

click to vote

CSMR
2007
IEEE

89views Software Engineering» more CSMR 2007»

Supporting Reliable Software Evolution through Program Analysis

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers