frdr's library 243 articles Export

Ordered by to_read.

	B-trees, shadowing, and clones [My Copy] Trans. Storage, Vol. 3, No. 4. (2008), pp. 1-27. by Ohad Rodeh posted to snapshots fs b-tree by frdr on 2009-11-10 11:15:46 as along with 3 people dowlingj mogwaing myui
	Zyzzyva: speculative byzantine fault tolerance [My Copy] In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 45-58. by Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, Edmund Wong posted to dight-fault-tolerance health by frdr on 2008-10-16 13:12:06 as along with 4 people and 2 groups kuenishi momo54 dowlingj ljcamargos ecoo-ce SOSP
	Dynamic file migration in distributed computer systems [My Copy] Commun. ACM, Vol. 33, No. 2. (February 1990), pp. 177-189. by Bezalel Gavish, Olivia posted to dight-fs fs health by frdr on 2008-12-15 09:05:15 as along with 2 people and 1 group dmeister thiagomanel Desktop Data Grid
	Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer Systems [My Copy] Reliable Distributed Systems, IEEE Symposium on In Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on, Vol. 0 (2002), pp. 362-367. by Hakim Weatherspoon, Tal Moscovitz, John Kubiatowicz posted to dight-fault-tolerance distsys health by frdr on 2008-12-09 14:27:38 as along with 1 person matteodellamico
	Practical Threshold Signatures [My Copy] In EUROCRYPT 2000, Vol. 1807 (2000), pp. 207-220. by Victor Shoup posted to crypto dight-confidentiality health by frdr on 2008-12-09 14:25:08 as along with 1 person deitosrafael
	A Simplified Approach to Threshold and Proactive RSA [My Copy] In CRYPTO '98: Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology (1998), pp. 89-104. by Tal Rabin posted to crypto dight-confidentiality health by frdr on 2008-12-09 14:19:06 as
	Scan: A dynamic, scalable, and e#cient content distribution network [My Copy] In In Proceedings of the International Conference on Pervasive Computing (2002) by Yan Chen, Y. H. Katz, John D. Kubiatowicz posted to dight-replication distsys health by frdr on 2008-12-09 14:16:27 as
	Survivable storage systems [My Copy] In In DARPA Information Survivability Conference and Exposition, IEEE, Vol. 2 (2001), pp. 184-195. by Gregory R. Ganger, Pradeep K. Khosla, Mehmet Bakkaloglu, et al.Michael W. Bigrigg, R. Garth, Semih Oguz, P. Vijay, Craig A. N. Soules, John D. Strunk, Jay J. Wylie posted to dight-fs fs health by frdr on 2008-11-19 11:21:09 as
	Accountable certificate management using undeniable attestations [My Copy] In CCS '00: Proceedings of the 7th ACM conference on Computer and communications security (2000), pp. 9-17. by Ahto Buldas, Peeter Laud, Helger Lipmaa posted to dight-tamperproof health security by frdr on 2008-11-13 10:57:36 as along with 1 person pcamacho
	BAR fault tolerance for cooperative services [My Copy] SIGOPS Oper. Syst. Rev., Vol. 39, No. 5. (2005), pp. 45-58. by Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Mike Dahlin, Jean P. Martin, Carl Porth posted to dight-fault-tolerance fault-tolerance health by frdr on 2008-11-13 09:34:02 as
	Practical byzantine fault tolerance and proactive recovery [My Copy] ACM Trans. Comput. Syst., Vol. 20, No. 4. (November 2002), pp. 398-461. by Miguel Castro, Barbara Liskov posted to dight-fault-tolerance health security by frdr on 2008-10-23 08:58:34 as along with 5 people marquisdesade mercutio jpmartin ljcamargos jwong
	Perspectives on optimistically replicated, peer-to-peer filing [My Copy] Softw. Pract. Exper., Vol. 28, No. 2. (1998), pp. 155-180. by Jr, R. G. Guy, J. S. Heidemann, et al.D. H. Ratner, P. L. Reiher, A. Goel, G. H. Kuenning, G. J. Popek posted to dight-fs dight-storage fs health by frdr on 2008-10-23 08:27:13 as
	A Suite of Robust Algorithms for Maintaining Replicated Data Using Weak Consistency Conditions [My Copy] In Third IEEE Symp. on Reliability in Distributed Software and Database Systems (October 1983), pp. 47-56. by J. E. Allchin posted to datadist dight-replication distsys health by frdr on 2009-02-06 12:51:08 as
	Dynamic Metadata Management for Petabyte-Scale File Systems [My Copy] In SC '04: Proceedings of the 2004 ACM/IEEE conference on Supercomputing (2004) by Sage A. Weil, Kristal T. Pollack, Scott A. Brandt, Ethan L. Miller posted to dight-fs fs health by frdr on 2009-01-21 07:59:37 as along with 2 people knowlengr shehjart
	A Taxonomy of Pervasive Healthcare Systems [My Copy] Pervasive Health Conference and Workshops, 2006 In Pervasive Health Conference and Workshops, 2006 (2006), pp. 1-10. by Joanna A. Muras, Vinny Cahill, Emma K. Stokes posted to dight-data-modelling health pervasivehealth by frdr on 2008-10-13 13:18:13 as along with 2 people henrymiles now
	A Context-Aware Traveler Healthcare Service (THS) System [My Copy] Pervasive Health Conference and Workshops, 2006 In Pervasive Health Conference and Workshops, 2006 (2006), pp. 1-3. by Hwa-Jong Kim, Heui-Sug Jo posted to dight-data-modelling health pervasivehealth by frdr on 2008-10-13 13:16:37 as
	Enabling Secure Mobile Access for Electronic Health Care Applications [My Copy] Pervasive Health Conference and Workshops, 2006 In Pervasive Health Conference and Workshops, 2006 (2006), pp. 1-8. by Murugaraj Shanmugam, Srinath Thiruvengadam, Assadarat Khurat, Ilias Maglogiannis posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 13:12:16 as along with 1 person H-Arrietaumn
	Privacy Preserving Trust Negotiation for Pervasive Healthcare [My Copy] Pervasive Health Conference and Workshops, 2006 In Pervasive Health Conference and Workshops, 2006 (2006), pp. 1-9. by Changyu Dong, Naranker Dulay posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 13:08:56 as
	Security analysis and implementation of web-based telemedicine services with a four-tier architecture [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 46-54. by A. K. Maji, A. Mukhoty, A. K. Majumdar, et al.J. Mukhopadhyay, Shamik Sural, S. Paul, B. Majumdar posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 13:06:45 as
	Authentication considerations for mobile e-health applications [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 64-67. by J. A. Macdonald posted to dight-authentication health pervasivehealth by frdr on 2008-10-13 13:04:31 as
	PervasiveHealth 2008 - Cellular authentication & key agreement [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 68-68. posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 13:03:28 as
	Integrity checker for wireless sensor networks in health care applications [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 135-138. by A. Giani, T. Roosta, S. Sastry posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 12:49:16 as
	A software architecture and data model for community-based healthcare environments [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 161-164. by A. Sarela, N. Bidargaddi, M. Karunanithi posted to dight-data-modelling health pervasivehealth by frdr on 2008-10-13 12:46:06 as along with 1 person alivetec
	User acceptance of pervasive computing in healthcare: Main findings of two case studies [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 205-213. by M. Scheermesser, H. Kosow, A. Rashid, C. Holtmann posted to health pervasivehealth by frdr on 2008-10-13 12:42:48 as
	Document-based service architecture for communication between health and wellness service providers and customers [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 275-278. by J. Lahteenmaki, J. Leppanen, H. Kaijanranta posted to dight-data-modelling health pervasivehealth by frdr on 2008-10-13 12:39:43 as
	Nysiad: practical protocol transformation to tolerate Byzantine failures [My Copy] In NSDI'08: Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (2008), pp. 175-188. by Chi Ho, Robbert van Renesse, Mark Bickford, Danny Dolev posted to dight-fault-tolerance distsys fault-tolerance health protocols by frdr on 2009-02-25 08:19:05 as
	Universal codeword sets and representations of the integers [My Copy] Information Theory, IEEE Transactions on, Vol. 21, No. 2. (1975), pp. 194-203. by P. Elias posted to encoding by frdr on 2009-02-20 12:41:43 as along with 2 people kistijantoro marciolima
	Timed protocol verification for Estelle-specified protocols [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 25, No. 3. (1995), pp. 4-32. by Chung M. Huang, Shiun W. Lee posted to model-checking by frdr on 2009-02-06 12:46:45 as
	Verifying Randomized Byzantine Agreement [My Copy] In FORTE '02: Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems (2002), pp. 194-209. by Marta Z. Kwiatkowska, Gethin Norman posted to model-checking by frdr on 2009-02-06 12:46:02 as
	Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 5, No. 2. (2004), pp. 221-236. by Conrado Daws, Marta Kwiatkowska, Gethin Norman posted to model-checking probabilistic by frdr on 2009-02-06 12:45:11 as
	Quantitative verification: models techniques and tools [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 449-458. by Marta Kwiatkowska posted to model-checking by frdr on 2009-02-06 12:44:08 as along with 1 person streetlightios
	Quantitative Analysis With the Probabilistic Model Checker PRISM [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Vol. 153, No. 2. (23 May 2006), pp. 5-31. by Marta Kwiatkowska, Gethin Norman, David Parker posted to model-checking probabilistic by frdr on 2009-02-06 12:43:27 as along with 1 person Maderlock
	Probabilistic Verification of Communication Protocols [My Copy] In Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII (1987), pp. 307-320. by Nicholas F. Maxemchuk, Krishan K. Sabnani posted to model-checking probabilistic by frdr on 2009-02-06 12:42:28 as
	A procedure for probabilistic protocol verification [My Copy] Communications, IEEE Transactions on In Communications, IEEE Transactions on, Vol. 40, No. 7. (1992), pp. 1183-1191. by D. D. Dimitrijevic, M. S. Chen posted to model-checking probabilistic by frdr on 2009-02-06 12:41:35 as
	Cellular authentication & key agreement for service providers [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 69-72. by J. A. Macdonald posted to dight-confidentiality health pervasivehealth by frdr on 2008-10-13 13:02:21 as
	Smart Environment Application Architecture [My Copy] Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on In Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on (2008), pp. 308-309. by Z. Salvador, M. Larrea, A. Lafuente posted to health pervasivehealth by frdr on 2008-10-13 12:37:28 as
	Ubiquitous Diagnosis: Assurance through Distribution and Collaboration [My Copy] Pervasive Health Conference and Workshops, 2006 In Pervasive Health Conference and Workshops, 2006 (2006), pp. 1-4. by Daniel Ruiz, Antonio Soriano, Carlos A. Montejo, Anibal Bueno posted to health pervasivehealth by frdr on 2008-10-13 12:10:31 as
	Metadata Efficiency in Versioning File Systems [My Copy] FAST '03 In Proceedings of the 2nd USENIX Conference on File and Storage Technologies (2003) by Craig A. N. Soules, Garth R. Goodson, John D. Strunk, Gregory R. Ganger posted to fs dight-fs by frdr on 2009-11-19 14:04:39 as
	BIT: A Very Compact Scheme System for Microcontrollers [My Copy] Higher Order Symbol. Comput., Vol. 18, No. 3-4. (December 2005), pp. 271-298. by Danny Dubé, Marc Feeley posted to gc embedded-systems by frdr on 2009-11-17 12:49:37 as along with 1 person jkominek
	A real-time garbage collector with low overhead and consistent utilization [My Copy] SIGPLAN Not., Vol. 38, No. 1. (2003), pp. 285-298. by David F. Bacon, Perry Cheng, V. T. Rajan posted to realtime gc by frdr on 2009-11-17 08:35:46 as along with 1 person ReiOdaira
	Hume: a domain-specific language for real-time embedded systems [My Copy] In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering (2003), pp. 37-56. by Kevin Hammond, Greg Michaelson posted to functional-programming embedded-systems by frdr on 2009-11-05 14:28:09 as along with 1 person and 1 group assnoodles NU-PRL
	Lambdas in the liftshaft---functional programming and an embedded architecture [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 249-258. by Malcolm Wallace, Colin Runciman posted to functional-programming embedded-systems by frdr on 2009-10-29 13:40:53 as
	Extending a functional programming system for embedded applications [My Copy] Softw. Pract. Exper., Vol. 25, No. 1. (1995), pp. 73-96. by Malcolm Wallace, Colin Runciman posted to functional-programming embedded-systems by frdr on 2009-10-27 12:32:32 as
	Generalized file system dependencies [My Copy] In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 307-320. by Christopher Frost, Mike Mammarella, Eddie Kohler, et al. Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang posted to reliability fs fault-tolerance dight-fs dight-fault-tolerance by frdr on 2009-10-08 12:20:30 as along with 2 people and 1 group superdupershant Gnurou SOSP
	DRAM errors in the wild: a large-scale field study [My Copy] In SIGMETRICS '09: Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems (2009), pp. 193-204. by Bianca Schroeder, Eduardo Pinheiro, Wolf D. Weber posted to reliability by frdr on 2009-10-07 12:05:27 as along with 6 people ihaque kuenishi yingbo dmeister naoya muli
	Parallel Search On Video Cards [My Copy] In First USENIX Workshop on Hot Topics in Parallelism (HotPar '09) (March 2009) by Tim Kaldewey, Jeff Hagen, Andrea Di Blas, Eric Sedlar posted to search gpu db by frdr on 2009-10-06 13:12:17 as
	TrInc: small trusted hardware for large distributed systems [My Copy] In NSDI'09: Proceedings of the 6th USENIX symposium on Networked systems design and implementation (2009), pp. 1-14. by Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda posted to dight-tamperproof by frdr on 2009-07-20 12:49:10 as
	GnatDb: a small-footprint, secure database system [My Copy] In VLDB '02: Proceedings of the 28th international conference on Very Large Data Bases (2002), pp. 884-893. by Radek Vingralek posted to dight-db dight-tamperproof by frdr on 2009-07-17 11:24:55 as
	Data Collection with Self-Enforcing Privacy [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 12, No. 2. (2008), pp. 1-24. by Philippe Golle, Frank Mcsherry, Ilya Mironov posted to dight-confidentiality by frdr on 2009-07-16 13:04:45 as
	How to build a trusted database system on untrusted storage [My Copy] In OSDI'00: Proceedings of the 4th conference on Symposium on Operating System Design \& Implementation (2000), pp. 10-10. by Umesh Maheshwari, Radek Vingralek, William Shapiro posted to dight-db dight-tamperproof by frdr on 2009-07-10 11:38:10 as along with 1 person dowlingj

Note: You may cite this page as: http://www.citeulike.org/user/frdr/order/to_read

Result page: 1 2 3 4 5 Next

health	125
dight-replication	73
fs	69
dight-fs	61
dight-fault-tolerance	34
replication	31
dight-tamperproof	29
datadist	28
dight-confidentiality	21
reconciliation	19
pervasivehealth	19
dight-reconciliation	19
crypto	17
security	16
model-checking	15
group_com	12
dight-storage	12
fault-tolerance	10
dight-logging	10
distsys	9
consistency	8
epidemic	7
multicast	7
dight-eurosys	6
probabilistic	6
dight-handling-partitions	5
dight-data-modelling	5
dight-authentication	4
embedded-systems	4
manet	3
p2p-search	3
dight-db	3
virtual-coordinates	3
functional-programming	3
encoding	2
grids	2
digt-replication	2
overlays	2
dight-authenticated-data-structures	2
gc	2
replicated-objects	2
reliability	2
b-tree	1
clusters	1
realtime	1
mobility	1
dight-failure-detection	1
trust	1
membership	1
distributed-data-structures	1
p2p	1
protocols	1
snapshots	1
not-available	1
gpu	1
partitioning	1
aggregation	1
db	1
searching	1
virtual-synchrony	1
search	1
dht	1
disaster-recovery	1
bayou	1
gossip	1
simulation	1

frdr's library 243 articles Export

frdr's tags