Search Sciweavers | Sciweavers

3330 search results - page 46 / 666

» software 2010

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

13 years 5 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

click to vote

CCE
2010

141views Software Engineering» more CCE 2010»

Integrated gasification combined cycle (IGCC) process simulation and optimization

13 years 5 months ago

Download www.up.ac.za

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

claim paper

Read More »

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 5 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

13 years 4 months ago

Download lph.ece.utexas.edu

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

claim paper

Read More »

click to vote

CCE
2010

103views Software Engineering» more CCE 2010»

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

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers