10912 search results - page 2055 / 2183 » Object-Oriented Programming Languages |
128
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
143
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
179
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
170
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
176
click to vote
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...