Sciweavers

7576 search results - page 1104 / 1516
» UNIX as an Application Program
Sort
View
MSCS
1998
58views more  MSCS 1998»
15 years 6 months ago
Minimal Realization in Bicategories of Automata
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F....
SAC
2002
ACM
15 years 6 months ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
SIAMJO
2002
99views more  SIAMJO 2002»
15 years 6 months ago
On the Calmness of a Class of Multifunctions
The paper deals with the calmness of a class of multifunctions in finite dimensions. Its first part is devoted to various conditions for calmness, which are derived in terms of cod...
René Henrion, Abderrahim Jourani, Jir&iacut...
TJS
1998
101views more  TJS 1998»
15 years 6 months ago
Compiler Support for Array Distribution on NUMA Shared Memory Multiprocessors
Management of program data to improve data locality and reduce false sharing is critical for scaling performanceon NUMA shared memorymultiprocessors. We use HPF-like data decomposi...
Tarek S. Abdelrahman, Thomas N. Wong
SIMULATION
2002
143views more  SIMULATION 2002»
15 years 6 months ago
GaliLEO: A Simulation Tool for LEO Satellite Constellations
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
Laurent Franck, Francesco Potorti
« Prev « First page 1104 / 1516 Last » Next »