Search Sciweavers | Sciweavers

16725 search results - page 456 / 3345

» Engineering Software Correctness

154

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 3 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

115

click to vote

CAL
2010

144views Software Engineering» more CAL 2010»

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

15 years 3 months ago

Download lph.ece.utexas.edu

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

claim paper

Read More »

180

Voted

AOSD
2011
ACM

171views Software Engineering» more AOSD 2011»

Making aspects natural: events and composition

15 years 1 months ago

Download www.utwente.nl

Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit...

claim paper

Read More »

217

click to vote

APIN
2011

209views Software Engineering» more APIN 2011»

Schedule coordination through egalitarian recurrent multi-unit combinatorial auctions

15 years 1 months ago

Download golfet.udg.edu

Javier Murillo, Víctor Muñoz, D&iacu...

claim paper

Read More »

134

Voted

APPML
2011

192views Software Engineering» more APPML 2011»

Improved intermediate asymptotics for the heat equation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers