Browse by Subject

All Subjects   Computer Science   Software

Subcategories: There are no further subcategories

616 Results for this Subject

Subscribe to RSS feed for this result set

76. A reliability growth model for protocol validation and testing by random state exploration

Tosi, Angelo Einar (1995)


Doctoral and Habilitation Theses

77. A scaleable multi-application environment for secure tokens

Oestereicher, Marcus (2003)


Doctoral and Habilitation Theses

78. A security analyzer for multi-threaded programs

Pöpper, Christina (2005)


Master Theses

79. A Simple Framework for the Generalized Nearest Neighbor Problem

Hruz, Tomas and Schöngens, Marcel (2012)


Reports

80. ASM Semantics for C♯ 2.0

Jula, Horatiu V. (2005)


Reports

81. A solution of the two-dimensional global asymptotic Jacobian stability conjecture

Fessler, Robert (1994)


Reports

82. Aspekte unbeschränkter Parallelität

Gati, Georg (1976)


Doctoral and Habilitation Theses

83. A survey of direct parallel algorithms for banded linear systems

Arbenz, Peter and Gander, Walter (1994)


Reports

84. Asynchronous Extension of a Linear Distributed Averaging Algorithm

Kriegleder, Maximilian, Oung, Raymond and D'Andrea, Raffaello (2012)


Reports

85. A temporal extension to a generic object data model

Steiner, Andreas and Norrie, Moira (1997)


Reports

86. A testing framework for cloud storage systems

Moreno, João (2010)


Master Theses

87. A time machine for XML

Fourny, Ghislain, Florescu, Daniela, Kossmann, Donald and Zaharioudakis, Markos (2012)


Reports

88. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix and Zălinescu, Eugen (2012)


Journal Items

89. Augmented models in estimation and control

Mäder, Urban Dominik (2010)


Doctoral and Habilitation Theses

90. Automated instantiation of software frameworks for control systems

Čechtický, Václav (2004)


Doctoral and Habilitation Theses

91. Automatic contract extraction

Marti, Christof (2003)


Master Theses

92. Automatic layout

Caliano, Antonio (2003)


Master Theses

93. Automatic testing of object-oriented software

Meyer, Bertrand, Ciupa, Ilinca, Leitner, Andreas and Liu, Lisa (Ling)


Reports

94. Automatic transformation from graphical process models to executable code

Hauser, Rainer (2010)


Reports

95. Automatic tuning of data placement and load balancing in disk arrays

Zabback, Peter, Weikum, Gerhard and Scheuermann, Peter I. (1992)


Reports

96. Automatic verification of Eiffel programs

Tschannen, Julian (2009)


Master Theses

97. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)


Doctoral and Habilitation Theses

98. Automatic verification of Pascal programs

Marmier, Edouard (1975)


Doctoral and Habilitation Theses

99. Automatic version control system for distributed software development

Weber, Sandra (2012)


Master Theses

100. Automatisches Zeichnen von Diagrammen

Bucher, Karl Josef (1977)


Doctoral and Habilitation Theses