Sciweavers

7971 search results - page 373 / 1595
» On unbounded operators and applications
Sort
View
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
16 years 9 days ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
170
Voted
OR
2004
Springer
16 years 5 days ago
Multi Objective Pinch Analysis (MOPA) for Integrated Process Design
The combination of process integration and Operations Research enables an integrated technique assessment and a subsequent process design. The application of Multi Objective Pinch...
Jutta Geldermann, Hannes Schollenberger, Martin Tr...
SIGOPSE
1998
ACM
15 years 11 months ago
The PerDiS FS: a transactional file system for a distributed persistent store
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
João Garcia, Paulo Ferreira, Paulo Guedes
USENIX
2007
15 years 9 months ago
Virtually Shared Displays and User Input Devices
This paper proposes making displays and input devices as first-class citizens in a networked system environment for collaborative applications. The paper describes a virtually sha...
Grant Wallace, Kai Li
CATS
2006
15 years 8 months ago
Formalising the L4 microkernel API
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
Rafal Kolanski, Gerwin Klein