Sciweavers

2625 search results - page 131 / 525
» Applications 2000
Sort
View
DSOM
2000
Springer
15 years 8 months ago
The Doctor Is In: Helping End Users Understand the Health of Distributed Systems
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
Paul Dourish, Daniel C. Swinehart, Marvin Theimer
114
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
Exception Safety: Concepts and Techniques
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
Bjarne Stroustrup
ESA
2000
Springer
122views Algorithms» more  ESA 2000»
15 years 7 months ago
Minimum Depth Graph Embedding
Abstract. The depth of a planar embedding is a measure of the topological nesting of the biconnected components of the graph. Minimizing the depth of planar embeddings has importan...
Maurizio Pizzonia, Roberto Tamassia
134
Voted
FPL
2000
Springer
87views Hardware» more  FPL 2000»
15 years 7 months ago
Toward Uniform Approach to Design of Evolvable Hardware Based Systems
The paper tries to establish the uniform design concept for evolvable hardware based applications. Evolvable circuit is understood as a system component with ability to evolve. As ...
Lukás Sekanina, Azeddien M. Sllame
148
Voted
FROCOS
2000
Springer
15 years 7 months ago
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
Franz Baader, Cesare Tinelli