Search Sciweavers | Sciweavers

1163 search results - page 51 / 233

» Concurrent Subspaces Analysis

101

Voted

DAC
1996
ACM

92views Computer Architecture» more DAC 1996»

Concurrent Analysis Techniques for Data Path Timing Optimization

15 years 8 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

Voted

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 8 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

101

click to vote

ENTCS
2008

105views more ENTCS 2008»

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation

15 years 4 months ago

Download users.dsic.upv.es

María Alpuente, María-del-Mar Gallar...

claim paper

Read More »

107

click to vote

IGPL
2000

82views more IGPL 2000»

Concurrent Systems Analysis Using ECATNets

15 years 3 months ago

Download www.lsv.ens-cachan.fr

Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...

claim paper

Read More »

Voted

CSUR
1998

88views more CSUR 1998»

Concurrency Control: Methods, Performance, and Analysis

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers