Sciweavers

16430 search results - page 2900 / 3286
» On Computable Tree Functions
Sort
View
LACL
1998
Springer
15 years 11 months ago
Strict Compositionality and Literal Movement Grammars
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
Marcus Kracht
POS
1998
Springer
15 years 11 months ago
DynamO: Dynamic Objects with Persistent Storage
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
Jiong Yang, Silvia Nittel, Wei Wang 0010, Richard ...
VISUALIZATION
1997
IEEE
15 years 11 months ago
A comparison of normal estimation schemes
The task of reconstructing the derivative of a discrete function is essential for its shading and rendering as well as being widely used in image processing and analysis. We surve...
Torsten Möller, Raghu Machiraju, Klaus Muelle...
227
Voted
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 11 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
« Prev « First page 2900 / 3286 Last » Next »