Sciweavers

6248 search results - page 99 / 1250
» Programming in a data factory
Sort
View
137
Voted
CCS
2009
ACM
15 years 9 months ago
Privacy-preserving genomic computation through program specialization
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
Rui Wang, XiaoFeng Wang, Zhou Li, Haixu Tang, Mich...
130
Voted
CCGRID
2007
IEEE
15 years 9 months ago
Revisit of View-Oriented Parallel Programming
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
Z. Huang, W. Chen
SOFTVIS
2010
ACM
15 years 2 months ago
Heapviz: interactive heap visualization for program understanding and debugging
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
Edward Aftandilian, Sean Kelley, Connor Gramazio, ...
102
Voted
VL
2005
IEEE
144views Visual Languages» more  VL 2005»
15 years 8 months ago
Gestural Musical Improvisation and Programming
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
Peter Khooshabeh, Ethan Smith, John Thomspon
106
Voted
MPC
2000
Springer
113views Mathematics» more  MPC 2000»
15 years 6 months ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
Richard Bornat