Autor der Publikation

Lock Free Data Structures Using STM in Haskell.

, , , , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Scheduling of Multiple Hidden Markov Model-Based Sensors., , , , und . J. Adv. Inf. Fusion, 3 (1): 33-49 (2008)Circuit Analysis by Non-Standard Interpretation.. Designing Correct Circuits, Volume A-5 von IFIP Transactions, Seite 119-138. North-Holland, (1992)Hardware/Software Synthesis and Verification Using Esterel.. CPA, Volume 65 von Concurrent Systems Engineering Series, Seite 371-378. IOS Press, (2007)An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming., , und . CPA, Volume 68 von Concurrent Systems Engineering Series, Seite 111-130. IOS Press, (2011)Rendering Postscript Fonts on FPGAs., , und . FPL, Volume 1673 von Lecture Notes in Computer Science, Seite 223-232. Springer, (1999)Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation., und . FPL, Volume 1482 von Lecture Notes in Computer Science, Seite 298-307. Springer, (1998)An Advanced System for Modeling Asymmetric Threats., , , , , und . SMC, Seite 3943-3948. IEEE, (2006)Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits., und . FPL, Volume 2147 von Lecture Notes in Computer Science, Seite 346-356. Springer, (2001)Implementing Fudgets with Standard Widget Sets., und . Functional Programming, Seite 222-235. Springer, (1993)Partial Evaluation of Hardware., und . Partial Evaluation, Volume 1706 von Lecture Notes in Computer Science, Seite 221-230. Springer, (1998)