Search Sciweavers | Sciweavers

2131 search results - page 38 / 427

» Stochastic Process Creation

130

click to vote

SAT
2009
Springer

118views Hardware» more SAT 2009»

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

15 years 10 months ago

Download www.cse.yorku.ca

Anton Belov, Zbigniew Stachniak

claim paper

Read More »

117

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

15 years 10 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

15 years 10 months ago

Download www.ee.ucla.edu

Yan Lin, Lei He

claim paper

Read More »

104

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

15 years 10 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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers