Search Sciweavers | Sciweavers

1195 search results - page 37 / 239

» Modeling an Algebraic Stepper

174

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

15 years 11 months ago

Download mescal.imag.fr

Nadir Farhi

claim paper

Read More »

160

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 11 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

129

click to vote

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

15 years 10 months ago

Download www.cs.swan.ac.uk

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

127

click to vote

SC
1992
ACM

109views Applied Computing» more SC 1992»

An Algebraic Theory for Modeling Direct Interconnection Networks

15 years 10 months ago

Download ethesys.lib.fcu.edu.tw

S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Je...

claim paper

Read More »

121

click to vote

VLDB
2000
ACM

120views Database» more VLDB 2000»

The 3W Model and Algebra for Unified Data Mining

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers