4421 search results - page 428 / 885 » Libraries |
122
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Mobile information systems need to collaborate with each other to provide seamless information access to the user. Information about the user and their context provides the points ...
119
click to vote
PACT
2007
Springer
15 years 11 months ago
2007
Springer
T-system is a tool for parallel computing developed at the PSI RAS. The most recent implementation is available on both Linux and Windows platforms. The paper is dedicated to one o...
135
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
120
click to vote
PPAM
2007
Springer
15 years 11 months ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...
126
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...