Sciweavers

3736 search results - page 232 / 748
» Generative Programming
Sort
View
APBC
2003
117views Bioinformatics» more  APBC 2003»
15 years 4 months ago
A New Program to Compute the Surface Properties of Biomolecules
The interactions of large molecules with surfaces and with each other are strongly dependent upon their surface, rather than their bulk properties. In addition, the local properti...
Dan V. Nicolau Jr., Florin Fulga, Dan V. Nicolau
187
Voted
PLDI
2011
ACM
14 years 6 months ago
Finding and understanding bugs in C compilers
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
ITNG
2010
IEEE
15 years 8 months ago
ACAT: A Web-Based Software Tool to Facilitate Course Assessment for ABET Accreditation
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
Eugene Essa, Andrew Dittrich, Sergiu M. Dascalu, F...
PPOPP
2012
ACM
13 years 11 months ago
DOJ: dynamically parallelizing object-oriented programs
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...
Yong Hun Eom, Stephen Yang, James Christopher Jeni...
131
Voted
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
16 years 10 days ago
A Convex Programming Approach to Positive Real Rational Approximation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...