Sciweavers

609 search results - page 58 / 122
» Using Interface Inheritance to Structure the Data Structures...
Sort
View
89
Voted
CIE
2007
Springer
15 years 6 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
91
Voted
CHI
2009
ACM
16 years 1 months ago
Supporting the design of network-spanning applications
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
Stefan Rennick Egglestone, Andy Boucher, Tom Rodde...
ICMCS
1994
IEEE
110views Multimedia» more  ICMCS 1994»
15 years 4 months ago
Improving Continuous-Media Playback Performance with In-Kernel Data Paths
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
Kevin R. Fall, Joseph Pasquale
94
Voted
IV
2002
IEEE
135views Visualization» more  IV 2002»
15 years 5 months ago
Static Visualization of Dynamic Data Flow Visual Program Execution
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda
SIGMOD
2011
ACM
177views Database» more  SIGMOD 2011»
14 years 3 months ago
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, An...