7124 search results - page 332 / 1425 » Programming Languages and Operating Systems |
192
click to vote
BIS
2007
15 years 8 months ago
2007
Business intelligence requires the collecting and merging of information from many different sources, both structured and unstructured, in order to analyse for example financial ...
172
click to vote
PDPTA
1997
15 years 8 months ago
1997
Distributed Inter-Process Communication (DIPC) provides the programmers of the Linux operating system with distributed programming facilities, including Distributed Shared Memory ...
203
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
154
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...