Search Sciweavers | Sciweavers

570 search results - page 12 / 114

» concurrency 2006

150

click to vote

IJCSA
2007

84views more IJCSA 2007»

Real Time Model Checking Using Timed Concurrent State Machines

15 years 4 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 »

109

click to vote

BROADNETS
2006
IEEE

100views Computer Networks» more BROADNETS 2006»

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

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers