3058 search results - page 171 / 612 » Reflections on Reflections |
ASYNC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe an extension of the virtual volume concept to multiple sensors. Data from multiple sensors are combined in real-time and mapped into a constantly updating three-dimens...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we generalize the test. The generalized test can be applied towards determining whether there exist data dependences for coupled arrays with both constant and var...
TOOLS
1998
IEEE
14 years 1 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...