Sciweavers

268 search results - page 1 / 54

» Concurrent Systems Analysis Using ECATNets

16

IGPL
2000

82views more IGPL 2000»

Concurrent Systems Analysis Using ECATNets

13 years 6 months ago

Concurrent Systems Analysis Using ECATNets

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

15

CONCURRENCY
2010

90views more CONCURRENCY 2010»

Parallel heterogeneous CBIR system for efficient hyperspectral image retrieval using spectral mixture analysis

13 years 7 months ago

Parallel heterogeneous CBIR system for efficient hyperspectral image retrieval using spectral mixture analysis

Download www.umbc.edu

Antonio J. Plaza, Javier Plaza, Abel Paz

claim paper

Read More »

12

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

14 years 6 months ago

Reliability Analysis of Concurrent Systems Using LTSA

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

15

RTSS
2003
IEEE

89views Control Systems» more RTSS 2003»

Evolving real-time systems using hierarchical scheduling and concurrency analysis

14 years 2 days ago

Evolving real-time systems using hierarchical scheduling and concurrency analysis

Download www.cs.utah.edu

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

claim paper

Read More »

27

PTS
2008

165views Hardware» more PTS 2008»

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis

13 years 8 months ago

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis

Download cc.ee.ntu.edu.tw

The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...

Farn Wang, Geng-Dian Huang

claim paper

Read More »

« Prev « First page 1 / 54 Last » Next »