Sciweavers

Share ➚
PLDI
2011
ACM
112views Programming Languages» more  PLDI 2011»
Finding and understanding bugs in C compilers
8 months 14 days ago
Finding and understanding bugs in C compilers
Download  www.cs.utah.edu
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
claim paper
Read More »
ASPLOS
2011
ACM
111views Programming Languages» more  ASPLOS 2011»
DoublePlay: parallelizing sequential logging and replay
9 months 7 days ago
DoublePlay: parallelizing sequential logging and replay
Download  www.eecs.umich.edu
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
Kaushik Veeraraghavan, Dongyoon Lee, Benjamin West...
claim paper
Read More »
ADT
2011
104views Programming Languages» more  ADT 2011»
All-optical multipoint-to-point routing in WDM mesh networks
1 years 17 days ago
All-optical multipoint-to-point routing in WDM mesh networks
Download  www.irisa.fr
Fen Zhou, Miklós Molnár, Bernard Cou...
claim paper
Read More »
ASPLOS
2011
ACM
94views Programming Languages» more  ASPLOS 2011»
Dynamic knobs for responsive power-aware computing
9 months 7 days ago
Dynamic knobs for responsive power-aware computing
Download  groups.csail.mit.edu
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static con...
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin...
claim paper
Read More »
PLDI
2011
ACM
93views Programming Languages» more  PLDI 2011»
Caisson: a hardware description language for secure information flow
8 months 14 days ago
Caisson: a hardware description language for secure information flow
Download  www.cs.ucsb.edu
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Ka...
claim paper
Read More »
All Subjects
Algorithms
Applied Computing
Artificial Intelligence
Augmented Reality
Automated Reasoning
Bioinformatics
Biometrics
Business
Combinatorics
Communications
Computational Biology
Computational Geometry
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Vision
Control Systems
Cryptology
Data Mining
Database
Discrete Geometry
Distributed And Parallel Computing
Document Analysis
ECommerce
Education
Electrical And Computer Engineering
Embedded Systems
Emerging Technology
Formal Methods
FPGA
Fuzzy Logic
Game Theory
GIS
Hardware
Healthcare
Human Computer Interaction
Image Analysis
Image Processing
Information Technology
Intelligent Agents
Internet Technology
Knowledge Management
Logical Reasoning
Machine Learning
Management
Mathematics
Medical Imaging
Modeling And Simulation
Multimedia
Natural Language Processing
Neural Networks
Operating System
Operations Research
Optimization
Pattern Recognition
Programming Languages
Robotics
Security Privacy
Sensor Networks
Signal Processing
Social Networks
Social Sciences
Software Engineering
Solid Modeling
System Software
Theoretical Computer Science
Virtual Reality
Visualization
VLSI
Programming Languages
Top of PageReset Settings
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books