5838 search results - page 396 / 1168 » A File System for System Programming in Ubiquitous Computing |
121
Voted
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
125
Voted
TPDS
1998
15 years 4 months ago
1998
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
154
Voted
MP
2006
15 years 5 months ago
2006
We present a series of related robust optimization models for placing sensors in municipal water networks to detect contaminants that are maliciously or accidentally injected. We f...
165
Voted
ACNS
2011
Springer
14 years 8 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
142
click to vote
SIGGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...