![Formal verification of pipelined microprocessors [Elektronische Ressource] / Daniel Kröning](https://img.uscri.be/pth/cb3352514481c2694bfaa1e1d1f20a7d25fbabca)
Documents
Savoirs
Formal verification of pipelined microprocessors [Elektronische Ressource] / Daniel Kröning
Editeur
universitat_des_saarlandes
Publications
(
195
)
![Formal verification of a fully IEEE compliant floating point unit [Elektronische Ressource] / Christian Jacobi](https://img.uscri.be/pth/ee7602e7915d2750f663ce897c0454789e48931f)
![Expressivity and decidability of first-order languages over feature trees [Elektronische Ressource] / von Rolf Backofen](https://img.uscri.be/pth/9226f98c8a7203ae9840dd778a0c4f0596b84209)
![Formal methods for real-time requirements engineering [Elektronische Ressource] / von Georg Rock](https://img.uscri.be/pth/84ad542abb36711686cc84b008bfc2dea1df480f)
![Filter algorithms for approximate string matching [Elektronische Ressource] / von Stefan Burkhardt](https://img.uscri.be/pth/25c4b8d1760a1b6b19e0d3d726cbc4cd857dfd69)
![Equality and extensionality in automated higher-order theorem proving [Elektronische Ressource] / Christoph Benzmüller](https://img.uscri.be/pth/76bb4486a5dd2b85b006293950013ba09b1b64c8)
![A resolution-based calculus for temporal logics [Elektronische Ressource] / von Andreas Nonnengart](https://img.uscri.be/pth/6874fdee01f72ef5f085a6b3cd7ada9a735879b7)
![A powerful combination of computational methods on the road toward potent non-steroidal inhibitors of steroidogenic enzymes involved in hormone-dependent diseases [Elektronische Ressource] / von Matthias Negri](https://img.uscri.be/pth/64b9d724ef1a50671d64df9282427321923aafa9)
![Efficient, image-based appearance acquisition of real-world objects [Elektronische Ressource] / Hendrik Peter Asmus Lensch](https://img.uscri.be/pth/036e37525dab3ad064d3c2c782aa59a80005b046)
![Differential expression of pro- and anti-inflammatory mediators in pulmonary macrophages upon toll-like receptor activation [Elektronische Ressource] / von Jessica Hoppstädter](https://img.uscri.be/pth/7fb8661d17f6f9ca42ded013ed3e0d22c18b638a)
![A uniform framework for the formal specification and verification of information flow security [Elektronische Ressource] / Heiko Mantel](https://img.uscri.be/pth/21b860be718cfb9904b36a30d1009c9a0aa7b96e)
![Estimation of a regression function by maxima of minima of linear functions [Elektronische Ressource] / vorgelegt von Conny Clausen](https://img.uscri.be/pth/b7226ff8bb33cab67f0dd75dd617149ca058a7b8)
![A head model with anatomical structure for facial modelling and animation [Elektronische Ressource] / vorgelet von Kolja Kähler](https://img.uscri.be/pth/fa042e852ceda045e274840b6d7a7d4dba3889c1)
![CGiS: high-level data-parallel GPU programming [Elektronische Ressource] / von Philipp Lucas](https://img.uscri.be/pth/ac8bc47004865584fd81bcde6874a5f8d5d851ad)
![Dynamic remeshing and applications [Elektronische Ressource] / vorgelegt von Jens Vorsatz](https://img.uscri.be/pth/559929a679a3253d8a8c8b49f320bae5a926c72c)
![Effect of water on the electrochromic properties of CeO_1tn2-TiO_1tn2, WO_1tn3 and Nb_1tn2O_1tn5:Mo sol gel layers and devices prepared with them [Elektronische Ressource] / vorgelegt von Donglan Sun](https://img.uscri.be/pth/4e0fa11b4c9088b9f69497c5eb01a30eb5f6d1f8)
![CAPS (Ca_1hn2_1hn+-dependent activator protein for secretion) promotes maturation of large dense core vesicles in adrenal medulla [Elektronische Ressource] / vorgelegt von Yuanyuan Liu](https://img.uscri.be/pth/f4b35d988f54460029d9d6771415d3c726b83a2e)
![A uniform constraint-based framework for the verification of infinite state systems [Elektronische Ressource] / von Supratik Mukhopadhyay](https://img.uscri.be/pth/5b4294a0054cd0d1b867b0dd2a54d8ed86d54769)
![A uniform computational model for natural language parsing and generation [Elektronische Ressource] / von Günter Neumann](https://img.uscri.be/pth/121d2c444a7359ccc9d3e4913e7d9ab7fe939df1)
![A polyhedral approach to sequence alignment problems [Elektronische Ressource] / von Knut Reinert](https://img.uscri.be/pth/c7930f1d44b019810680921a0f9dd586b97f832c)
![Combinatorial approaches for the trunk packing problem [Elektronische Ressource] / von Joachim Reichel](https://img.uscri.be/pth/eb198623f812335e2c03bce92f4e4c3d7f82a608)
![Coupled space-time discontinuous Galerkin method for dynamical modeling in porous media [Elektronische Ressource] / von Zhiyun Chen](https://img.uscri.be/pth/7a2e1f62de8703ac2c742635fdf88c6256065f93)
![Constraints and changes [Elektronische Ressource] / von Irit Katriel](https://img.uscri.be/pth/1af8f77416d783d21ed62e678a48173f6e92f6d9)
![Conditional RNA interference, altered nuclear transfer and genome-wide DNA methylation analysis [Elektronische Ressource] / eingereicht von Alexander Meissner](https://img.uscri.be/pth/7980023388c53be656b85bb4e425e9430ec0b757)
![A lattice-theoretic framework for circular assume-guarantee reasoning [Elektronische Ressource] / von Patrick Maier](https://img.uscri.be/pth/1ab0e6bf4238d0bdb2c17dccc159c391275d6880)
![Compiler verification in the context of pervasive system verification [Elektronische Ressource] / Dirk Carsten Leinenbach](https://img.uscri.be/pth/44730ee87bcd4c8bbd93d6c7146d17cf8d2fda55)
![Dissociating systems and subprocesses in human declarative memory [Elektronische Ressource] / vorgelegt von Theodor Jäger](https://img.uscri.be/pth/f615dd7a0e3ae170573976ae2753cd88d6e51d4c)
![A dynamic multi-application dialog engine for task-oriented voice user interfaces [Elektronische Ressource] / vorgelegt von Jürgen te Vrugt](https://img.uscri.be/pth/ab7d9863d7d09e673def11b49ca70b7ff3eb7d47)
![A basic study of electrical impedance spectroscopy for intravascular diagnosis and therapy monitoring of atherosclerosis [Elektronische Ressource] / von Sungbo Cho](https://img.uscri.be/pth/d5657c58af7fee3b456fe591e6edf3d2f59597fe)
![A combinatorial approach to orthogonal placement problems [Elektronische Ressource] / Gunnar Werner Klau](https://img.uscri.be/pth/c3fba1c67c00c501358c05b71acf2dc6bdcc02f2)