Sciweavers

2195 search results - page 240 / 439
» Prototyping Networked Embedded Systems
Sort
View
128
Voted
RTAS
2003
IEEE
15 years 9 months ago
A Cyclic-Executive-Based QoS Guarantee over USB
Universal Serial Bus (USB) is a popular standard for PC peripheral devices because of its versatile peripheral interconnection specifications. USB not only provides simplified h...
Chih-Yuan Huang, Li-Pin Chang, Tei-Wei Kuo
124
Voted
CIA
1998
Springer
15 years 8 months ago
The Dynamics of the UMDL Service Market Society
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...
Edmund H. Durfee, Tracy Mullen, Sunju Park, Jos&ea...
172
Voted
BTW
1993
Springer
193views Database» more  BTW 1993»
15 years 7 months ago
Query Optimization in an OODBMS
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...
Christian Rich, Marc H. Scholl
129
Voted
FROCOS
2007
Springer
15 years 7 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...
131
Voted
CGI
2004
IEEE
15 years 7 months ago
Point Set Surface Editing Techniques Based on Level-Sets
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
Xiaohu Guo, Jing Hua, Hong Qin