Search Sciweavers | Sciweavers

570 search results - page 12 / 114

» concurrency 2006

click to vote

IJCSA
2007

84views more IJCSA 2007»

Real Time Model Checking Using Timed Concurrent State Machines

14 years 9 months ago

Download www.tmrfindia.org

Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...

Wiktor B. Daszczuk

claim paper

Read More »

Voted

BROADNETS
2006
IEEE

100views Computer Networks» more BROADNETS 2006»

MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure

15 years 3 months ago

Download www.seas.upenn.edu

Rahul Mangharam, Raj Rajkumar

claim paper

Read More »

click to vote

DATE
2006
IEEE

148views Hardware» more DATE 2006»

Berger code-based concurrent error detection in asynchronous burst-mode machines

15 years 3 months ago

Download www.eng.yale.edu

Sobeeh Almukhaizim, Yiorgos Makris

claim paper

Read More »

click to vote

ICDE
2006
IEEE

94views Database» more ICDE 2006»

Twig Query Processing Under Concurrent Updates

15 years 3 months ago

Download ir.iit.edu

Christian Mathis, Theo Härder

claim paper

Read More »

click to vote

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers