Sciweavers

5838 search results - page 511 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
14 years 9 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
177
Voted
DAC
2002
ACM
16 years 7 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
CHI
2006
ACM
16 years 7 months ago
An evaluation of using programming by demonstration and guided walkthrough techniques for authoring and utilizing documentation
Much existing documentation is informal and serves to communicate "how-to" knowledge among restricted working groups. Using current practices, such documentation is both...
Madhu Prabaker, Lawrence D. Bergman, Vittorio Cast...
EUROPAR
1998
Springer
15 years 11 months ago
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
Neophytos Neophytou, Paraskevas Evripidou
154
Voted
SC
1991
ACM
15 years 10 months ago
Delayed consistency and its effects on the miss rate of parallel programs
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
Michel Dubois, Jin-Chin Wang, Luiz André Ba...