Search Sciweavers | Sciweavers

2131 search results - page 38 / 427

» Stochastic Process Creation

155

click to vote

SAT
2009
Springer

118views Hardware» more SAT 2009»

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

16 years 15 days ago

Download www.cse.yorku.ca

Anton Belov, Zbigniew Stachniak

claim paper

Read More »

140

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

16 years 10 days ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

100

click to vote

FPGA
2007
ACM

105views FPGA» more FPGA 2007»

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

16 years 3 days ago

Download www.ee.ucla.edu

Yan Lin, Lei He

claim paper

Read More »

124

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

16 years 2 days ago

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

120

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers