Search Sciweavers | Sciweavers

3330 search results - page 46 / 666

» software 2010

125

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 1 months ago

Download www.doc.ic.ac.uk

Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...

claim paper

Read More »

Voted

CCE
2010

141views Software Engineering» more CCE 2010»

Integrated gasification combined cycle (IGCC) process simulation and optimization

15 years 1 months ago

Download www.up.ac.za

F. Emun, M. Gadalla, Thokozani Majozi, D. Boer

claim paper

Read More »

121

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 1 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

click to vote

CAL
2010

144views Software Engineering» more CAL 2010»

Synctium: a Near-Threshold Stream Processor for Energy-Constrained Parallel Applications

15 years 17 days ago

Download lph.ece.utexas.edu

Evgeni Krimer, R. Pawlowski, Mattan Erez, P. Chian...

claim paper

Read More »

109

click to vote

CCE
2010

103views Software Engineering» more CCE 2010»

The role of Computer Aided Process Engineering in physiology and clinical medicine

15 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers