Search Sciweavers | Sciweavers

6960 search results - page 100 / 1392

» Continuity Analysis of Programs

154

click to vote

ASPLOS
2010
ACM

287views Programming Languages» more ASPLOS 2010»

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

15 years 6 months ago

Download www.cs.cmu.edu

Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...

Michelle L. Goodstein, Evangelos Vlachos, Shimin C...

claim paper

Read More »

100

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 9 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

click to vote

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

15 years 8 months ago

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

click to vote

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

15 years 8 months ago

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

click to vote

CC
2003
Springer

104views System Software» more CC 2003»

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers