Sciweavers

7661 search results - page 1376 / 1533
» Languages and the Computing Profession
Sort
View
SIGMOD
1998
ACM
89views Database» more  SIGMOD 1998»
15 years 9 months ago
Secure and Portable Database Extensibility
The functionality of extensible database servers can be augmented by user-de ned functions UDFs. However, the server's security and stability are concerns whenever new code...
Michael W. Godfrey, Tobias Mayr, Praveen Seshadri,...
153
Voted
SIGMOD
1998
ACM
143views Database» more  SIGMOD 1998»
15 years 9 months ago
Interaction of Query Evaluation and Buffer Management for Information Retrieval
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
Björn Þór Jónsson, Michae...
ESA
1998
Springer
154views Algorithms» more  ESA 1998»
15 years 9 months ago
A Functional Approach to External Graph Algorithms
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
James Abello, Adam L. Buchsbaum, Jeffery Westbrook
FMCAD
1998
Springer
15 years 9 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
LCPC
1998
Springer
15 years 9 months ago
Compiling for SIMD Within a Register
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
Randall J. Fisher, Henry G. Dietz
« Prev « First page 1376 / 1533 Last » Next »