Search Sciweavers | Sciweavers

1163 search results - page 50 / 233

» Concurrent Subspaces Analysis

click to vote

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

15 years 4 months ago

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

click to vote

ACSD
2003
IEEE

116views Hardware» more ACSD 2003»

CAST - A Task-Level Concurrency Analysis Tool

15 years 3 months ago

Download www.es.ele.tue.nl

Sander Stuijk, Twan Basten, Jan Ypma

claim paper

Read More »

click to vote

RTSS
2003
IEEE

89views Control Systems» more RTSS 2003»

Evolving real-time systems using hierarchical scheduling and concurrency analysis

15 years 3 months ago

Download www.cs.utah.edu

John Regehr, Alastair Reid, Kirk Webb, Michael Par...

claim paper

Read More »

click to vote

RV
2009
Springer

84views Hardware» more RV 2009»

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

15 years 2 months ago

Download www.fit.vutbr.cz

Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinde...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Concurrent Specification and Timing Analysis of Digital Hardware Using SDL

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers