Sciweavers

5387 search results - page 763 / 1078
» Generating generic functions
Sort
View
IAT
2005
IEEE
16 years 9 days ago
Multiagent Reputation Management to Achieve Robust Software Using Redundancy
This paper explains the building of robust software using multiagent reputation. One of the major goals of software engineering is to achieve robust software. Our hypothesis is th...
Rajesh Turlapati, Michael N. Huhns
IPPS
2005
IEEE
16 years 9 days ago
Practical Performance Model for Optimizing Dynamic Load Balancing of Adaptive Applications
Optimizing the performance of dynamic load balancing toolkits and applications requires the adjustment of several runtime parameters; however, determining sufficiently good value...
Kevin Barker, Nikos Chrisochoides
VISUALIZATION
2005
IEEE
16 years 8 days ago
VolQD: Direct Volume Rendering of Multi-million Atom Quantum Dot Simulations
In this work we present a hardware-accelerated direct volume rendering system for visualizing multivariate wave functions in semiconducting quantum dot (QD) simulations. The simul...
Wei Qiao, David S. Ebert, Alireza Entezari, Marek ...
APGV
2005
ACM
250views Visualization» more  APGV 2005»
16 years 8 days ago
A perceptual framework for contrast processing of high dynamic range images
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
Rafal Mantiuk, Karol Myszkowski, Hans-Peter Seidel
HASKELL
2005
ACM
16 years 8 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...