Search Sciweavers | Sciweavers

2131 search results - page 38 / 427

» Stochastic Process Creation

click to vote

SAT
2009
Springer

118views Hardware» more SAT 2009»

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

14 years 5 months ago

Download www.cse.yorku.ca

Anton Belov, Zbigniew Stachniak

claim paper

Read More »

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

14 years 5 months ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

click to vote

FPGA
2007
ACM

105views FPGA» more FPGA 2007»

Stochastic physical synthesis for FPGAs with pre-routing interconnect uncertainty and process variation

14 years 5 months ago

Download www.ee.ucla.edu

Yan Lin, Lei He

claim paper

Read More »

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

14 years 5 months ago

Download www.dcs.ed.ac.uk

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...

claim paper

Read More »

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers