Sciweavers

3707 search results - page 220 / 742
» A Simple Technique for Self-Calibration
Sort
View
ADVIS
2004
Springer
16 years 11 hour ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox
EUROPAR
2004
Springer
15 years 12 months ago
More Legal Transformations for Locality
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
Cédric Bastoul, Paul Feautrier
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 12 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
15 years 12 months ago
Load Distribution with the Proximity Congestion Awareness in a Network on Chip
In Networks on Chip, NoC, very low cost and high performance switches will be of critical importance. For a regular two-dimensional NoC we propose a very simple, memoryless switch...
Erland Nilsson, Mikael Millberg, Johnny Öberg...
UIST
2003
ACM
15 years 12 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet