Search Sciweavers | Sciweavers

15778 search results - page 176 / 3156

» Aikido and software engineering

182

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 4 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

133

Voted

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 »

201

click to vote

AOSD
2011
ACM

171views Software Engineering» more AOSD 2011»

Making aspects natural: events and composition

15 years 2 months ago

Download www.utwente.nl

Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit...

claim paper

Read More »

231

click to vote

APIN
2011

209views Software Engineering» more APIN 2011»

Schedule coordination through egalitarian recurrent multi-unit combinatorial auctions

15 years 2 months ago

Download golfet.udg.edu

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

claim paper

Read More »

144

click to vote

APPML
2011

192views Software Engineering» more APPML 2011»

Improved intermediate asymptotics for the heat equation

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers