3302 search results - page 206 / 661 » Software Is More Than Code |
176
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
120
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Adaptive simulated annealing (ASA) is a global optimization algorithm based on an associated proof that the parameter space can be sampled much more efficiently than by using othe...
115
click to vote
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
This paper introduces a class of linear phase lapped biorthogonal transforms with basis functions of variable length VLGLBT. The transform can be characterized by a lattice which ...
123
click to vote
IJNM
2000
15 years 3 months ago
2000
The complexity of communication networks and the amount of information transferred in these networks have made the management of such networks increasingly difficult. Since faults ...
135
click to vote
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
We evaluate the e ect of processor speed, network bandwidth, and software overhead on the performance of release-consistent software distributed shared memory. We examine ve di er...