E-LIB Suche - Ergebnisse für: Duke, David

1

Specification with Class: A Brief History of Object-Z:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Smith, Graeme ; Duke, David J. - p. 73-86 , 2020

2

Interactive Visualization for Singular Fibers of Functions ..:

Sakurai, Daisuke ; Saeki, Osamu ; Carr, Hamish...
IEEE Transactions on Visualization and Computer Graphics. 22 (2016) 1 - p. 945-954 , 2016

Link: https://doi.org/10.1109/..

3

Proceedings of the 5th International Workshop on Functional..:

Duke, David ; Kameyama, Yukiyoshi , 2016

Link: https://dl.acm.org/doi/1..

4

Multivariate topology simplification:

Chattopadhyay, Amit ; Carr, Hamish ; Duke, David..
Computational Geometry. 58 (2016) - p. 1-24 , 2016

Link: https://doi.org/10.1016/..

5

Skeletons for distributed topological computation:

, In: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing,

Duke, David J. ; Hosseini, Fouzhan - p. 35-44 , 2015

Link: https://dl.acm.org/doi/1..

6

Computer Vision-Based Carbohydrate Estimation for Type 1 Pa..:

Anthimopoulos, Marios ; Dehais, Joachim ; Shevchik, Sergey...
Journal of Diabetes Science and Technology. 9 (2015) 3 - p. 507-515 , 2015

Link: https://doi.org/10.1177/..

7

Joint Contour Nets:

Carr, Hamish ; Duke, David
IEEE Transactions on Visualization and Computer Graphics. 20 (2014) 8 - p. 1100-1113 , 2014

Link: https://doi.org/10.1109/..

8

Session details: Session II:

, In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design,

Duke, David , 2014

Link: https://dl.acm.org/doi/1..

9

Parallel computation of multifield topology : experience..:

, In: Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing,

Duke, David J. ; Hosseini, Fouzhan ; Carr, Hamish - p. 11-21 , 2014

Link: https://dl.acm.org/doi/1..

10

Causality of optimized Haskell: what is burning our cycles?:

Wortmann, Peter M. ; Duke, David
ACM SIGPLAN Notices. 48 (2013) 12 - p. 141-152 , 2013

Link: https://doi.org/10.1145/..

11

Causality of optimized Haskell : what is burning our cyc..:

, In: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell,

Wortmann, Peter M. ; Duke, David - p. 141-152 , 2013

Link: https://dl.acm.org/doi/1..

12

Visualizing Nuclear Scission through a Multifield Extension..:

Duke, David ; Carr, Hamish ; Knoll, Aaron...
IEEE Transactions on Visualization and Computer Graphics. 18 (2012) 12 - p. 2033-2040 , 2012

Link: https://doi.org/10.1109/..

13

Research into Navigation, Collaborative Interaction, and Gi..:

Ruddle, Roy A ; Duke, David J
Journal on Interactive Systems. 2 (2011) 2 - p. , 2011

Link: https://doi.org/10.5753/..

14

Flexible delivery of visualization software and services:

Wood, Jason ; Seo, Jungwook ; Duke, David..
Procedia Computer Science. 1 (2010) 1 - p. 1719-1726 , 2010

Link: https://doi.org/10.1016/..

15

A map of the heap : revealing design abstractions in run..:

, In: Proceedings of the 5th international symposium on Software visualization,

Myers, Colin ; Duke, David - p. 63-72 , 2010

Link: https://dl.acm.org/doi/1..