Sciweavers

3706 search results - page 192 / 742
» OntoComP System Description
Sort
View
ICN
2001
Springer
15 years 10 months ago
A System Level Framework for Streaming 3-D Meshes over Packet Networks
In this paper, a system-level framework is proposed for 3-D graphics streaming. The proposed architecture is scalable with respect to the variations in both bandwidth and channel e...
Ghassan Al-Regib, Yucel Altunbasak
APSEC
1999
IEEE
15 years 10 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
ICCAD
1994
IEEE
137views Hardware» more  ICCAD 1994»
15 years 9 months ago
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
Claudionor José Nunes Coelho Jr., Giovanni ...
DAC
1994
ACM
15 years 9 months ago
Loop Pipelining for Scheduling Multi-Dimensional Systems via Rotation
Multi-dimensional(MD) systems are widely used in scienti c applications such as image processing, geophysical signal processing and uid dynamics. Earlier scheduling methods in syn...
Nelson L. Passos, Edwin Hsing-Mean Sha, Steven C. ...
AMTA
1998
Springer
15 years 9 months ago
EMIS: A Multilingual Information System
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Bärbel Ripplinger