Sciweavers

13489 search results - page 286 / 2698
» Operating System
Sort
View
PROFES
2005
Springer
16 years 3 days ago
Measuring Similarity of Large Software Systems Based on Source Code Correspondence
Abstract. It is an important and intriguing issue to know the quantitative similarity of large software systems. In this paper, a similarity metric between two sets of source code ...
Tetsuo Yamamoto, Makoto Matsushita, Toshihiro Kami...
USS
2008
15 years 9 months ago
Experiment Isolation in a Secure Cluster Testbed
A major class of network emulation testbeds is based on the Utah Emulab design: a local cluster of experimental nodes interconnected through Ethernet switches using VLANs. The VLA...
Kevin Lahey, Robert Braden, Keith Sklower
OSDI
2008
ACM
16 years 6 months ago
Quanto: Tracking Energy in Networked Embedded Systems
We present Quanto, a network-wide time and energy profiler for embedded network devices. By combining well-defined interfaces for hardware power states, fast high-resolution energ...
Rodrigo Fonseca, Prabal Dutta, Philip Levis, Ion S...
ICCS
2009
Springer
15 years 11 months ago
Performance Evaluation of Collective Write Algorithms in MPI I/O
MPI is the de-facto standard for message passing in parallel scientific applications. MPI-IO is a part of the MPI-2 specification defining file I/O operations in the MPI world....
Mohamad Chaarawi, Suneet Chandok, Edgar Gabriel
FSTTCS
2005
Springer
16 years 4 days ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...