Sciweavers

1362 search results - page 231 / 273
» The Projection of Systolic Programs
Sort
View
CORR
2007
Springer
85views Education» more  CORR 2007»
15 years 1 months ago
Interface groups and financial transfer architectures
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
Jan A. Bergstra, Alban Ponse
JAPLL
2006
112views more  JAPLL 2006»
15 years 1 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
JGTOOLS
2006
199views more  JGTOOLS 2006»
15 years 1 months ago
Fast Approximation of High-Order Voronoi Diagrams and Distance Transforms on the GPU
We present a graphics hardware implementation of the tangent-plane algorithm for computing the kth-order Voronoi diagram of a set of point sites in image space. Correct and effici...
Ian Fischer, Craig Gotsman
93
Voted
JOT
2006
69views more  JOT 2006»
15 years 1 months ago
Initium RJS: A Macintosh Screensaver in Java, Part 3
We describe how to create a Java-based screensaver for a Macintosh. A screensaver is a program that automatically runs when the computer enters a quiescent state. Screensaver fram...
Douglas A. Lyon, Pawel Krepsztul, Francisco Castel...
104
Voted
ENTCS
2007
115views more  ENTCS 2007»
15 years 1 months ago
Self Management and the Future of Software Design
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
Peter Van Roy