Sciweavers

6598 search results - page 85 / 1320
» Graph Theory with Applications
Sort
View
REX
1991
15 years 7 months ago
The Theory of Timed Automata
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
Rajeev Alur, David L. Dill
SYNTHESE
2008
90views more  SYNTHESE 2008»
15 years 4 months ago
The modular structure of physical theories
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
Olivier Darrigol
EUROPAR
2009
Springer
15 years 8 months ago
Capturing and Visualizing Event Flow Graphs of MPI Applications
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...
Karl Fürlinger, David Skinner
GD
2004
Springer
15 years 9 months ago
Gravisto: Graph Visualization Toolkit
Gravisto, the Graph Visualization Toolkit, is more than a (Java-based) editor for graphs. It includes data structures, graph algorithms, several layout algorithms, and a graph view...
Christian Bachmaier, Franz-Josef Brandenburg, Mich...
OHS
2000
Springer
15 years 7 months ago
Applying Computer Semiotics to Hypertext Theory and the World Wide Web
This paper introduces a Semiotic Appoach to Hypertext Theory. Having been applied to Informatics only in recent years, Semiotics promises a broader understanding of Hypertext as a ...
Moritz Neumüller