Sciweavers

601 search results - page 12 / 121
» Writing for the Year 2000
Sort
View
ANLP
1997
80views more  ANLP 1997»
15 years 1 months ago
An Interactive Translation Support Facility for Non-Professional Users
We present an interactive translation method to support non-professional users to write an original document. The method, combining dictionary lookup function and user-guided step...
Kiyoshi Yamabana, Kazunori Muraki, Shin-ichiro Kam...
HPCA
1999
IEEE
15 years 4 months ago
Using Lamport Clocks to Reason about Relaxed Memory Models
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J....
USENIX
1993
15 years 1 months ago
An Analysis of File Migration in a UNIX Supercomputing Environment
The supercomputer center at the National Center for Atmospheric Research (NCAR) migrates large numbers of files to and from its mass storage system (MSS) because there is insuf...
Ethan L. Miller, Randy H. Katz
HPCA
2007
IEEE
16 years 4 days ago
A Burst Scheduling Access Reordering Mechanism
Utilizing the nonuniform latencies of SDRAM devices, access reordering mechanisms alter the sequence of main memory access streams to reduce the observed access latency. Using a r...
Jun Shao, Brian T. Davis
MOC
1998
73views more  MOC 1998»
14 years 11 months ago
Detecting perfect powers in essentially linear time
This paper (1) gives complete details of an algorithm to compute approximate kth roots; (2) uses this in an algorithm that, given an integer n > 1, either writes n as a perfect ...
Daniel J. Bernstein