Search Sciweavers | Sciweavers

15777 search results - page 514 / 3156

» The Reformulation-Optimization Software Engine

139

click to vote

EUROSYS
2011
ACM

262views Software Engineering» more EUROSYS 2011»

Fine-grained power modeling for smartphones using system call tracing

14 years 8 months ago

Download eurosys2011.cs.uni-salzburg.at

Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvi...

claim paper

Read More »

212

click to vote

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 4 months ago

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

208

click to vote

CRIWG
2011

230views Software Engineering» more CRIWG 2011»

A Transfer Approach for Facilitation Knowledge in Computer-Supported Collaboration

14 years 4 months ago

Download www.sim.ovgu.de

Stefan Werner Knoll, Jana Schumann, Thomas Matzdor...

claim paper

Read More »

118

click to vote

IUI
2012
ACM

284views Software Engineering» more IUI 2012»

Interactive uncertainty analysis

14 years 16 days ago

Download www.isi.edu

Pedro A. Szekely, Yu-Han Chang, Rajiv T. Maheswara...

claim paper

Read More »

111

Voted

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

Well-typed narrowing with extra variables in functional-logic programming

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers