Sciweavers

41938 search results - page 7994 / 8388
» Complex Systems Modeling
Sort
View
SC
2000
ACM
15 years 11 months ago
Is Data Distribution Necessary in OpenMP?
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
Dimitrios S. Nikolopoulos, Theodore S. Papatheodor...
SIGGRAPH
2000
ACM
15 years 11 months ago
Escherization
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
Craig S. Kaplan, David Salesin
SIGMOD
2000
ACM
121views Database» more  SIGMOD 2000»
15 years 11 months ago
WebView Materialization
A WebView is a web page automatically created from base data typically stored in a DBMS. Given the multi-tiered architecture behind database-backed web servers, we have the option...
Alexandros Labrinidis, Nick Roussopoulos
156
Voted
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 11 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
DIGITALCITIES
2000
Springer
15 years 11 months ago
Experiments in the Digital 'Engineering City Oulu'
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
Lech Krzanik, Minna Mäkäräinen
« Prev « First page 7994 / 8388 Last » Next »