Sciweavers

15885 search results - page 383 / 3177
» The Modest Software Engineer
Sort
View
ICFEM
2010
Springer
15 years 2 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
101
Voted
CAL
2010
15 years 1 months ago
Synctium: a Near-Threshold Stream Processor for Energy-Constrained Parallel Applications
Evgeni Krimer, R. Pawlowski, Mattan Erez, P. Chian...
AOSD
2011
ACM
15 years 10 hour ago
Making aspects natural: events and composition
Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit...
APPML
2011
15 years 10 hour ago
Improved intermediate asymptotics for the heat equation
Jean-Philippe Bartier, Adrien Blanchet, Jean Dolbe...