7839 search results - page 1409 / 1568 » What's there and what's not |
107
click to vote
SIGMETRICS
1996
ACM
15 years 5 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
144
click to vote
TLCA
1997
Springer
15 years 5 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
108
click to vote
VLDB
1997
ACM
15 years 5 months ago
1997
ACM
Query optimizers that explore a search space exhaustively using transformation rules usually apply all possible rules on each alternative, and stop when no new information is prod...
112
click to vote
HICSS
1994
IEEE
15 years 5 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
109
click to vote
IWSSD
1993
IEEE
15 years 5 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...