7971 search results - page 373 / 1595 » On unbounded operators and applications |
172
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
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...
170
Voted
OR
2004
Springer
16 years 5 days ago
2004
Springer
The combination of process integration and Operations Research enables an integrated technique assessment and a subsequent process design. The application of Multi Objective Pinch...
166
click to vote
SIGOPSE
1998
ACM
15 years 11 months ago
1998
ACM
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...
186
click to vote
USENIX
2007
15 years 9 months ago
2007
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...
159
click to vote
CATS
2006
15 years 8 months ago
2006
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...