Sciweavers

4957 search results - page 339 / 992
» Simplifying Distributed System Development
Sort
View
85
Voted
BTW
2003
Springer
128views Database» more  BTW 2003»
15 years 5 months ago
Quality of Service and Optimization in Data Integration Systems
: Due to the ever increasing impacts of globalization, people will/have to work on data which is distributed all around the world [LKK+ 97]. Query processing on the corresponding d...
Reinhard Braumandl
107
Voted
ARTS
1999
Springer
15 years 4 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
121
Voted
VISSYM
2004
15 years 2 months ago
Software Landscapes: Visualizing the Structure of Large Software Systems
Modern object-oriented programs are hierarchical systems with many thousands of interrelated subsystems. Visualization helps developers to better comprehend these large and comple...
Michael Balzer, Andreas Noack, Oliver Deussen, Cla...
GRID
2008
Springer
15 years 1 months ago
An integrated resource management and scheduling system for grid data streaming applications
Grid data streaming applications are novel from others in that they require real-time data supply while the processing is going on, which necessitates harmonious collaborations am...
Wen Zhang, Junwei Cao, Yisheng Zhong, Lianchen Liu...
CCGRID
2008
IEEE
15 years 7 months ago
Performance and Availability Tradeoffs in Replicated File Systems
Replication is a key technique for improving fault tolerance. Replication can also improve application performance under some circumstances, but can have the opposite effect under...
Jiaying Zhang, Peter Honeyman