5606 search results - page 702 / 1122 » Randomization Techniques for Graphs. |
166
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
161
click to vote
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we investigate the problem of code generation for address computation for DSP processors. This work is divided into four parts. First, we propose a branch instructio...
172
click to vote
IDS
1994
15 years 11 months ago
1994
The Concept of Populated Information Terrains (PITS) aims to extend database technology with key ideas from the new fields of Virtual Reality (VR) and Computer Supported Cooperativ...
168
click to vote
ICPP
1992
IEEE
15 years 11 months ago
1992
IEEE
-- Distributed routing algorithms presented in the literature have tended to be specific to a particular network topology. In order to test the applicability of various routing str...
170
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Whenever Ajax applications on mobile devices have to retrieve large XML data fragments from a remote server, a reduction of the exchanged data volume may be crucial to manage limit...