Sciweavers

1756 search results - page 74 / 352
» Current Directions in Hyper-Programming
Sort
View
135
Voted
IPPS
1999
IEEE
15 years 7 months ago
Dynamically Scheduling the Trace Produced During Program Execution into VLIW Instructions
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...
Alberto Ferreira de Souza, Peter Rounce
ICIP
1998
IEEE
15 years 7 months ago
Iterative Determination of Local Bound Constraints in Iterative Image Restoration
In this paper, the problem of how to better estimate spatially adaptive intensity bounds for image restoration is addressed. When the intensity bounds are estimated from a degrade...
Kaaren May, Tania Stathaki, Anthony G. Constantini...
131
Voted
SIGGRAPH
1993
ACM
15 years 7 months ago
Radiosity algorithms using higher order finite element methods
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
Roy Troutman, Nelson L. Max
122
Voted
ECTEL
2006
Springer
15 years 7 months ago
A Context-Model for Supporting Work-Integrated Learning
Abstract. This contribution introduces the so-called Workplace Learning Context as essential conceptualisation supporting self-directed learning experiences directly at the workpla...
Armin Ulbrich, Peter Scheir, Stefanie N. Lindstaed...
LPAR
2000
Springer
15 years 7 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye