Sciweavers

3168 search results - page 518 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
134
Voted
VEE
2005
ACM
130views Virtualization» more  VEE 2005»
15 years 10 months ago
The entropia virtual machine for desktop grids
Desktop distributed computing allows companies to exploit the idle cycles on pervasive desktop PC systems to increase the available computing power by orders of magnitude (10x - 1...
Brad Calder, Andrew A. Chien, Ju Wang, Don Yang
ICPPW
2002
IEEE
15 years 9 months ago
A Statistical Approach for the Analysis of the Relation Between Low-Level Performance Information, the Code, and the Environment
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
Nayda G. Santiago, Diane T. Rover, Domingo Rodr&ia...
DAC
2000
ACM
16 years 5 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
180
Voted
MOBISYS
2006
ACM
16 years 4 months ago
Pegboard: a framework for developing mobile applications
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Danny Soroker, Ramón Cáceres, Danny ...
127
Voted
IPPS
2007
IEEE
15 years 11 months ago
Experiments with a Software Component Enabling NetSolve with Direct Communications in a Non-Intrusive and Incremental Way
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
Xin Zuo, Alexey L. Lastovetsky