Sciweavers

5064 search results - page 441 / 1013
» Recent Developments in Gridsolve
Sort
View
JCDL
2010
ACM
148views Education» more  JCDL 2010»
15 years 11 months ago
Citing for high impact
The question of citation behavior has always intrigued scientists from various disciplines. While general citation patterns have been widely studied in the literature we develop t...
Xiaolin Shi, Jure Leskovec, Daniel A. McFarland
PDP
2010
IEEE
15 years 11 months ago
Efficient Distribution of Virtual Machines for Cloud Computing
The commercial success of Cloud computing and recent developments in Grid computing have brought platform virtualization technology into the field of high performance computing. Vi...
Matthias Schmidt, Niels Fallenbeck, Matthew Smith,...
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 11 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
WACC
1999
ACM
15 years 11 months ago
Virtual environments at work: ongoing use of MUDs in the workplace
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
Elizabeth F. Churchill, Sara A. Bly