Sciweavers

122 search results - page 10 / 25
» User-System-Interaction Design Program: an Overview
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
FPGA implementation made easy for applied digital signal processing courses
Applied digital signal processing courses offered at many universities do not normally include FPGA implementation of signal processing algorithms. This is due to the fact that st...
Nasser D. Kehtarnavaz, Sidharth Mahotra
EUROPAR
2005
Springer
14 years 1 months ago
Performance Modeling: Understanding the Past and Predicting the Future
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
David H. Bailey, Allan Snavely
CADE
2000
Springer
14 years 6 days ago
The Nuprl Open Logical Environment
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
CCGRID
2004
IEEE
13 years 11 months ago
Molecular structure determination on a computational and data Grid
The focus of this paper is on the design and implementation of a critical program in structural biology onto two computational and data grids. The first is the Buffalo-based ACDC ...
Mark L. Green, Russ Miller
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 2 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson