Sciweavers

6722 search results - page 553 / 1345
» Reuse-Conducive Development Environments
Sort
View
CCR
2010
96views more  CCR 2010»
15 years 7 months ago
Dummynet revisited
Dummynet is a widely used link emulator, developed long ago to run experiments in user-configurable network environments. Since its original design, Dummynet has been extended in ...
Marta Carbone, Luigi Rizzo
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 7 months ago
Set-up and characterization of a humidity sensor realized in LTCC-technology
A new type of integrated temperature and humidity sensor applying LTCC-technology (Low Temperature Cofired Ceramics) has been developed and characterized. The proposed device is b...
W. Smetana, M. Unger
CORR
2008
Springer
126views Education» more  CORR 2008»
15 years 7 months ago
A TLA+ Proof System
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
GRID
2006
Springer
15 years 7 months ago
Overhead Analysis of Grid Workflow Applications
In this paper we propose a systematic approach to performance analysis of workflow applications on the Grid. We introduce an ideal model for the workflow execution time and explain...
Francesco Nerieri, Radu Prodan, Thomas Fahringer, ...
IBMRD
2006
58views more  IBMRD 2006»
15 years 7 months ago
Self-adapting numerical software (SANS) effort
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
Jack Dongarra, George Bosilca, Zizhong Chen, Victo...