Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16725
search results - page 569 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
133
click to vote
LCTRTS
2007
Springer
88
views
System Software
»
more
LCTRTS 2007
»
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose
16 years 1 months ago
Download
perso.ens-lyon.fr
Christophe Alias, Fabrice Baray, Alain Darte
claim paper
Read More »
148
click to vote
LCTRTS
2007
Springer
77
views
System Software
»
more
LCTRTS 2007
»
DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling
16 years 1 months ago
Download
moss.csc.ncsu.edu
Yifan Zhu, Frank Mueller
claim paper
Read More »
141
click to vote
LCTRTS
2007
Springer
97
views
System Software
»
more
LCTRTS 2007
»
On the complexity of spill everywhere under SSA form
16 years 1 months ago
Download
hal.archives-ouvertes.fr
Florent Bouchez, Alain Darte, Fabrice Rastello
claim paper
Read More »
128
click to vote
LCTRTS
2007
Springer
106
views
System Software
»
more
LCTRTS 2007
»
Code and data partitioning for fine-grain parallelism
16 years 1 months ago
Download
cccp.eecs.umich.edu
Michael L. Chu, Scott A. Mahlke
claim paper
Read More »
131
click to vote
CODES
2005
IEEE
80
views
Software Engineering
»
more
CODES 2005
»
A cycle-accurate compilation algorithm for custom pipelined datapaths
16 years 22 days ago
Download
www.ics.uci.edu
Mehrdad Reshadi, Daniel Gajski
claim paper
Read More »
« Prev
« First
page 569 / 3345
Last »
Next »
