Sciweavers

580 search results - page 28 / 116
» Building a Family of Compilers
Sort
View
CACM
2010
179views more  CACM 2010»
15 years 16 days ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
IPPS
2003
IEEE
15 years 5 months ago
Remote and Partial Reconfiguration of FPGAs: Tools and Trends
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the tren...
Daniel Mesquita, Fernando Gehm Moraes, José...
119
Voted
VEE
2012
ACM
238views Virtualization» more  VEE 2012»
13 years 8 months ago
Swift: a register-based JIT compiler for embedded JVMs
Code quality and compilation speed are two challenges to JIT compilers, while selective compilation is commonly used to tradeoff these two issues. Meanwhile, with more and more Ja...
Yuan Zhang, Min Yang, Bo Zhou, Zhemin Yang, Weihua...
NAR
2008
119views more  NAR 2008»
15 years 11 days ago
TreeFam: 2008 Update
TreeFam (http://www.treefam.org) was developed to provide curated phylogenetic trees for all animal gene families, as well as orthologue and paralogue assignments. Release 4.0 of ...
Jue Ruan, Heng Li, Zhongzhong Chen, Avril Coghlan,...
100
Voted
PLDI
2010
ACM
15 years 9 months ago
Type-preserving Compilation for End-to-end Verification of Security Enforcement
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
Juan Chen, Ravi Chugh, Nikhil Swamy