Sciweavers

CJ
1999
124views more  CJ 1999»
15 years 2 days ago
Web Page Filtering and Re-Authoring for Mobile Users
Timothy W. Bickmore, Andreas Girgensohn, Joseph W....
107
Voted
CJ
1999
129views more  CJ 1999»
15 years 2 days ago
Animating Formal Proof at the Surface: The Jape Proof Calculator
Richard Bornat, Bernard Sufrin
99
Voted
CJ
1999
87views more  CJ 1999»
15 years 2 days ago
Evolution-Based Scheduling of Computations and Communications on Distributed Memory Multicomputers
We present a compiler optimization approach that uses the simulated evolution (SE) paradigm to enhance the finish time of heuristically scheduled computations with communication t...
Mayez A. Al-Mouhamed