Sciweavers

11097 search results - page 1940 / 2220
» Hera presentation generator
Sort
View
ENTCS
2002
166views more  ENTCS 2002»
15 years 25 days ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
NAR
2007
100views more  NAR 2007»
15 years 16 days ago
CSRDB: a small RNA integrated database and browser resource for cereals
Plant small RNAs (smRNAs), which include microRNAs (miRNAs), short interfering RNAs (siRNAs) and trans-acting siRNAs (ta-siRNAs), are emerging as significant components of epigene...
Cameron Johnson, Lewis Bowman, Alex T. Adai, Vicki...
119
Voted
CORR
2010
Springer
94views Education» more  CORR 2010»
14 years 11 months ago
When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings
Abstract Consider a random graph model where each possible edge e is present independently with some probability pe. Given these probabilities, we want to build a large/heavy match...
Nikhil Bansal, Anupam Gupta, Jian Li, Juliá...
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
14 years 11 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
CODES
2010
IEEE
14 years 11 months ago
Automatic parallelization of embedded software using hierarchical task graphs and integer linear programming
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
Daniel Cordes, Peter Marwedel, Arindam Mallik
« Prev « First page 1940 / 2220 Last » Next »