Sciweavers

9 search results - page 2 / 2

» taco 2010

67

TACO
2010

64views more TACO 2010»

Performance-aware thermal management via task scheduling

15 years 1 months ago

Performance-aware thermal management via task scheduling

Download www.cs.pitt.edu

Xiuyi Zhou, Jun Yang 0002, Marek Chrobak, Youtao Z...

claim paper

Read More »

52

TACO
2010

42views more TACO 2010»

Eliminating voltage emergencies via software-guided code transformations

15 years 1 months ago

Eliminating voltage emergencies via software-guided code transformations

Download www.cs.virginia.edu

Vijay Janapa Reddi, Simone Campanoni, Meeta Sharma...

claim paper

Read More »

92

SIGMOD
2010
ACM

197views Database» more SIGMOD 2010»

TACO: tunable approximate computation of outliers in wireless sensor networks

15 years 8 months ago

TACO: tunable approximate computation of outliers in wireless sensor networks

Download pages.cs.aueb.gr

Nikos Giatrakos, Yannis Kotidis, Antonios Deligian...

claim paper

Read More »

134

Voted

ISSTA
2010
ACM

241views Software Engineering» more ISSTA 2010»

Analysis of invariants for efficient bounded verification

15 years 5 months ago

Analysis of invariants for efficient bounded verification

Download publicaciones.dc.uba.ar

SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...

Juan P. Galeotti, Nicolás Rosner, Carlos L&...

claim paper

Read More »

« Prev « First page 2 / 2 Last » Next »