8689 search results - page 193 / 1738 » Software: hard data |
181
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...
182
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions...
169
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
159
click to vote
AVI
2008
15 years 8 months ago
2008
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...
162
click to vote
EDBTW
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we thoroughly analyze a distributed procedure for the problem of local database update in a network of database peers, useful for data exchange scenarios. The algorit...