Sciweavers

7430 search results - page 1067 / 1486
» Programming Applications in CIFF
Sort
View
SC
2005
ACM
16 years 11 days ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...
CAISE
2005
Springer
16 years 11 days ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
EGH
2005
Springer
16 years 10 days ago
Fully procedural graphics
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
Turner Whitted, James T. Kajiya
203
Voted
HYBRID
2005
Springer
16 years 10 days ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
ICALP
2005
Springer
16 years 10 days ago
A Better Approximation Ratio for the Vertex Cover Problem
We reduce the approximation factor for Vertex Cover to 2 − Θ( 1√ log n ) (instead of the previous 2 − Θ(log log n log n ), obtained by Bar-Yehuda and Even [2], and by Moni...
George Karakostas
« Prev « First page 1067 / 1486 Last » Next »