10575 search results - page 1523 / 2115 » T2Script Programming Language |
208
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
202
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
The original stable marriage problem requires all men and women to submit a complete and strictly ordered preference list. This is obviously often unrealistic in practice, and seve...
164
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
179
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
195
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe Frontier, an FPGA placement system that uses design macro-blocks in conjuction with a series of placement algorithms to achieve highly-routable and high-...