419 search results - page 75 / 84 » A Thread of HOL Development |
CODES
2009
IEEE
15 years 1 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
99
Voted
PASTE
2010
ACM
15 years 1 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
ENTCS
2006
14 years 9 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
101
click to vote
HIPC
2009
Springer
14 years 7 months ago
2009
Springer
As the size of available datasets in various domains is growing rapidly, there is an increasing need for scaling data mining implementations. Coupled with the current trends in co...
87
Voted
NAR
2010
14 years 4 months ago
2010
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...