Search Sciweavers | Sciweavers

4725 search results - page 88 / 945

» Dependence-Based Program Analysis

Voted

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

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

15 years 9 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

Voted

CSMR
2007
IEEE

89views Software Engineering» more CSMR 2007»

Supporting Reliable Software Evolution through Program Analysis

15 years 9 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 8 months ago

Download www-gth.die.upm.es

Alessandro Vinciarelli, F. Fernandez, Sarah Favre

claim paper

Read More »

105

Voted

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

15 years 8 months ago

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

Voted

CSMR
2006
IEEE

60views Software Engineering» more CSMR 2006»

Scalability Solutions for Program Comprehension through Dynamic Analysis

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers