Search Sciweavers | Sciweavers

1195 search results - page 37 / 239

» Modeling an Algebraic Stepper

156

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 10 months ago

Download mescal.imag.fr

Nadir Farhi

claim paper

Read More »

147

click to vote

CONCUR
2001
Springer

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

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

15 years 10 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

112

click to vote

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

15 years 9 months ago

Download www.cs.swan.ac.uk

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

120

Voted

SC
1992
ACM

109views Applied Computing» more SC 1992»

An Algebraic Theory for Modeling Direct Interconnection Networks

15 years 9 months ago

Download ethesys.lib.fcu.edu.tw

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

claim paper

Read More »

Voted

VLDB
2000
ACM

120views Database» more VLDB 2000»

The 3W Model and Algebra for Unified Data Mining

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers