9626 search results - page 1857 / 1926 » Invariant Based Programming |
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...
112
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we propose an optimal anytime version of constrained simulated annealing (CSA) for solving constrained nonlinear programming problems (NLPs). One of the goa...
EDBT
2000
ACM
15 years 4 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
CHI
1999
ACM
15 years 4 months ago
1999
ACM
We describe the i-LAND environment which constitutes an example of our vision of the workspaces of the future, in this case supporting cooperative work of dynamic teams with chang...
171
click to vote
HPCA
1999
IEEE
15 years 4 months ago
1999
IEEE
Symmetric multiprocessors (SMPs) connected with low-latency networks provide attractive building blocks for software distributed shared memory systems. Two distinct approaches hav...