Sciweavers

481 search results - page 84 / 97
» acm 1994
Sort
View
SIGSOFT
1994
ACM
14 years 21 days ago
Reengineering a Complex Application Using a Scalable Data Structure Compiler
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
Don S. Batory, Jeff Thomas, Marty Sirkin
SIGSOFT
1994
ACM
14 years 21 days ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
STOC
1994
ACM
134views Algorithms» more  STOC 1994»
14 years 21 days ago
A coding theorem for distributed computation
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
Sridhar Rajagopalan, Leonard J. Schulman
UIST
1994
ACM
14 years 21 days ago
An Architecture for Transforming Graphical Interfaces
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
W. Keith Edwards, Elizabeth D. Mynatt
UIST
1994
ACM
14 years 21 days ago
Putting People First: Specifying Proper Names in Speech Interfaces
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
Matthew Marx, Chris Schmandt