Browse by Subject

All Subjects   Computer Science   Software

Subcategories: There are no further subcategories

619 Results for this Subject

Subscribe to RSS feed for this result set

51. An FPGA-based smart database storage engine

Nie, Chongling (2012)


Master Theses

52. Angewandte Geometrie

Pauly, Mark (2006)


Videos

53. An IDE-based, integrated solution to Schema Evolution of Object-Oriented Software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)


Reports

54. An IDE-based solution for schema evolution of object-oriented software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)


Reports

55. An Implementation of a plane-sweep algorithm on a personal computer

Beretta, Giordano B. (Giordano Bruno), Beretta, Giordano B. (Giordano Bruno) and Beretta, Giordano B. (Giordano Bruno) (1984)


Doctoral and Habilitation Theses

56. An improved fixed parameter tractable algorithm for vertex cover

Stege, Ulrike and Fellows, Michael Ralph (1999)


Reports

57. An information-theoretic approach to the robust shortest path problem

Tschirky, David (2012)


Master Theses

58. An inherent bottleneck in distributed counting

Wattenhofer, Roger and Widmayer, Peter (1997)


Reports

59. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)


Doctoral and Habilitation Theses

60. AOP Implementation in .NET

Grawehr, Patrick (2003)


Master Theses

61. A parallelizing compiler for distributed memory parallel processors

Rühl, Roland (1992)


Doctoral and Habilitation Theses

62. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Doctoral and Habilitation Theses

63. Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems

Marforio, Claudio, Francillon, Aurélien and Capkun, Srdjan (2010)


Reports

64. Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems

Marforio, Claudio, Francillon, Aurélien and Capkun, Srdjan (2011)


Reports

65. Application exploration regarding a DPC like architecture

Enzler, Rolf and Sailer, Thomas (2000)


Reports

66. Application-level multi-variant speculation with competitive parallel execution

Trachsel, Oliver (2010)


Doctoral and Habilitation Theses

67. Applications of the generic programming paradigm in the design of CGAL

Brönnimann, Hervé, Kettner, Lutz, Schirra, Stefan and Veltkamp, Remco (1998)


Reports

68. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master Theses

69. Applying object-orientation to developing integrated environments for computer-aided control systems design

Qui, Xiaobing (1998)


Doctoral and Habilitation Theses

70. Applying Search in an Automatic Contract-Based Testing Tool

Kolesnichenko, Alexey, Poskitt, Christopher M. and Meyer, Bertrand (2013)


Conference Contributions

71. Approximating and interpolating theories of arithmetic for software verification

Brillout, Angelo (2011)


Doctoral and Habilitation Theses

72. A probabilistic zero test for expressions involving roots of rational numbers

Blömer, Johannes (1998)


Reports

73. A profound reflection on C++ template mechanism

Baumann, Rainer (2003)


Master Theses

74. A programming language for vector computers

Griesemer, Robert (1993)


Doctoral and Habilitation Theses

75. A progress preserving refinement

Hudon, Simon (2011)


Master Theses