1658 search results - page 99 / 332 » Implementing Bit-addressing with Specialization |
81
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
118
click to vote
ENTCS
2008
15 years 19 days 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...
IJAMC
2008
15 years 18 days ago
2008
The vision of a "3D Web" as a combination of massive online virtual environments and today's WWW currently attracts a lot of attention. While it provides a multitude...
103
Voted
VLDB
2002
ACM
15 years 6 days ago
2002
ACM
Whereas traditional databases manage only deterministic information, many applications that use databases involve uncertain data. This paper presents a Probabilistic Tree Data Bas...
120
Voted
JTAER
2008
14 years 11 months ago
2008
Innovative eCustoms solutions play an important role in the pan-European eGovernment strategy. The underlying premise is interoperability postulating a common understanding of pro...