2642 search results - page 426 / 529 » The development of Chez Scheme |
163
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
201
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
The idea of the 3D Web as a global scale Distributed Virtual Environment (DVE) currently is very popular and a lot of research work is done in this field. In the course of the Hy...
173
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
We report on our work in developing a fine-grained multithreaded solution for the communicationintensive Conjugate Gradient (CG) problem. In our recent work, we developed a simpl...
182
click to vote
WOWMOM
2000
ACM
15 years 10 months ago
2000
ACM
In a wireless communications network, the movement of mobile users presents significant technical challenges to providing efficient access to the wired broadband network. In this ...
159
click to vote
ISPD
1999
ACM
15 years 10 months ago
1999
ACM
Buffer insertion is an effective approach to achieve both minimal clock signal delay and skew in high speed VLSI circuit design. In this paper, we develop an optimal buffer ins...