@other{https://thesis.library.caltech.edu/id/eprint/9765, authors = "Cai, Wuhan Desmond", title = "Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control", year = "2016", url = "https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537", id = "https://thesis.library.caltech.edu/id/eprint/9765", doi = "10.7907/Z9BG2KZG" } @other{https://thesis.library.caltech.edu/id/eprint/8796, authors = "Agarwal, Anish", title = "A Model For Residential Adoption of Photovoltaic Systems", year = "2015", url = "https://resolver.caltech.edu/CaltechTHESIS:03202015-082016718", id = "https://thesis.library.caltech.edu/id/eprint/8796", doi = "10.7907/Z9RB72J4" } @other{https://thesis.library.caltech.edu/id/eprint/8188, authors = "Faulkner, Matthew Nicholas", title = "Community Sense and Response Systems", year = "2014", url = "https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328", id = "https://thesis.library.caltech.edu/id/eprint/8188", doi = "10.7907/QFM5-FH06" } @other{https://thesis.library.caltech.edu/id/eprint/7939, authors = "Olson, Michael James", title = "Cloud Computing Services for Seismic Networks", year = "2014", url = "https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077", id = "https://thesis.library.caltech.edu/id/eprint/7939", doi = "10.7907/5D60-FG88" } @other{https://thesis.library.caltech.edu/id/eprint/8458, authors = "Bose, Subhonmesh", title = "An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets", year = "2014", url = "https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456", id = "https://thesis.library.caltech.edu/id/eprint/8458", doi = "10.7907/FRGW-AF26" } @other{https://thesis.library.caltech.edu/id/eprint/8185, authors = "Faulkner, Matthew Nicholas", title = "Selective Data Gathering in Community Sensor Networks", year = "2014", url = "https://resolver.caltech.edu/CaltechTHESIS:04102014-131741107", id = "https://thesis.library.caltech.edu/id/eprint/8185", doi = "10.7907/NBQ4-6Q72" } @other{https://thesis.library.caltech.edu/id/eprint/7856, authors = "Liu, Annie Hsin-Wen", title = "Sensor Networks for Geospatial Event Detection - Theory and Applications", year = "2013", url = "https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692", id = "https://thesis.library.caltech.edu/id/eprint/7856", doi = "10.7907/MZWJ-T222" } @other{https://thesis.library.caltech.edu/id/eprint/7907, authors = "Mou, Judy", title = "Situation Awareness Application", year = "2013", url = "https://resolver.caltech.edu/CaltechTHESIS:06272013-211013400", id = "https://thesis.library.caltech.edu/id/eprint/7907", doi = "10.7907/CH76-YW89" } @other{https://thesis.library.caltech.edu/id/eprint/6615, authors = "Olson, Michael James", title = "Cloud Computing for Citizen Science", year = "2012", url = "https://resolver.caltech.edu/CaltechTHESIS:08232011-122341638", id = "https://thesis.library.caltech.edu/id/eprint/6615", doi = "10.7907/8S5K-FX17" } @other{https://thesis.library.caltech.edu/id/eprint/6418, authors = "Pilotto, Concetta", title = "Systematic Design and Formal Verification of Multi-Agent Systems ", year = "2011", url = "https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516", id = "https://thesis.library.caltech.edu/id/eprint/6418", doi = "10.7907/SCQF-VP66" } @other{https://thesis.library.caltech.edu/id/eprint/6481, authors = "White, Jerome S.", title = "Applying Formal Methods to Distributed Algorithms Using Local-Global Relations ", year = "2011", url = "https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546", id = "https://thesis.library.caltech.edu/id/eprint/6481", doi = "10.7907/8FRW-ZF17" } @other{https://thesis.library.caltech.edu/id/eprint/5967, authors = "Liu, Annie Hsin-Wen", title = "Simulation and Implementation of Distributed Sensor Network for Radiation Detection", year = "2010", url = "https://resolver.caltech.edu/CaltechTHESIS:07072010-160100413", id = "https://thesis.library.caltech.edu/id/eprint/5967", doi = "10.7907/XF1E-XW61" } @other{https://thesis.library.caltech.edu/id/eprint/5718, authors = "Florian, Mihai", title = "SCALE: Source Code Analyzer for Locating Errors", year = "2010", url = "https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677", id = "https://thesis.library.caltech.edu/id/eprint/5718", doi = "10.7907/KXWA-7Y81" } @other{https://thesis.library.caltech.edu/id/eprint/1983, authors = "Pilotto, Concetta", title = "Local-to-Global in Multi-Agent Systems", year = "2007", url = "https://resolver.caltech.edu/CaltechETD:etd-05232007-084106", id = "https://thesis.library.caltech.edu/id/eprint/1983", doi = "10.7907/JY2K-6194" } @other{https://thesis.library.caltech.edu/id/eprint/2114, authors = "Tian, Lu", title = "Resource Allocation in Streaming Environments", year = "2006", url = "https://resolver.caltech.edu/CaltechETD:etd-05262006-165801", id = "https://thesis.library.caltech.edu/id/eprint/2114", doi = "10.7907/35Y5-H853" } @other{https://thesis.library.caltech.edu/id/eprint/1944, authors = "Capponi, Agostino", title = "Estimation Problems in Sense and Respond Systems", year = "2006", url = "https://resolver.caltech.edu/CaltechETD:etd-05222006-142127", id = "https://thesis.library.caltech.edu/id/eprint/1944", doi = "10.7907/YZF9-ZN10" } @other{https://thesis.library.caltech.edu/id/eprint/2012, authors = "Khorlin, Andrey", title = "Scheduling in Distributed Stream Processing Systems", year = "2006", url = "https://resolver.caltech.edu/CaltechETD:etd-05242006-175006", id = "https://thesis.library.caltech.edu/id/eprint/2012", doi = "10.7907/4MH9-9104" } @other{https://thesis.library.caltech.edu/id/eprint/4357, authors = "Ginis, Roman", title = "Automating Resource Management for Distributed Business Processes", year = "2002", url = "https://resolver.caltech.edu/CaltechETD:etd-11012005-093745", id = "https://thesis.library.caltech.edu/id/eprint/4357", doi = "10.7907/9GXT-BD03" } @other{https://thesis.library.caltech.edu/id/eprint/2468, authors = "Kiniry, Joseph Roland", title = "Kind Theory", year = "2002", url = "https://resolver.caltech.edu/CaltechETD:etd-06062002-164914", id = "https://thesis.library.caltech.edu/id/eprint/2468", doi = "10.7907/TVTD-E826" } @other{https://thesis.library.caltech.edu/id/eprint/4821, authors = "Zimmerman, Daniel Marc", title = "Dynamic UNITY", year = "2002", url = "https://resolver.caltech.edu/CaltechETD:etd-12072001-160019", id = "https://thesis.library.caltech.edu/id/eprint/4821", doi = "10.7907/AC6E-WE21" } @other{https://thesis.library.caltech.edu/id/eprint/3236, authors = "Schooler, Eve Meryl", title = "Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication", year = "2001", url = "https://resolver.caltech.edu/CaltechETD:etd-08272001-155016", id = "https://thesis.library.caltech.edu/id/eprint/3236", doi = "10.7907/44QZ-R465" } @other{https://thesis.library.caltech.edu/id/eprint/341, authors = "Sivilotti, Paolo A. G.", title = "A method for the specification, composition, and testing of distributed object systems", year = "1998", url = "https://resolver.caltech.edu/CaltechETD:etd-01252008-095244", id = "https://thesis.library.caltech.edu/id/eprint/341", doi = "10.7907/z89g-gm27" } @other{https://thesis.library.caltech.edu/id/eprint/321, authors = "Massingill, Berna Linda", title = "A structured approach to parallel programming", year = "1998", url = "https://resolver.caltech.edu/CaltechETD:etd-01242008-074143", id = "https://thesis.library.caltech.edu/id/eprint/321", doi = "10.7907/5ma9-h225" } @other{https://thesis.library.caltech.edu/id/eprint/26, authors = "Thornley, John William", title = "A parallel programming model with sequential semantics", year = "1996", url = "https://resolver.caltech.edu/CaltechETD:etd-01042008-085720", id = "https://thesis.library.caltech.edu/id/eprint/26", doi = "10.7907/mytw-er77" } @other{https://thesis.library.caltech.edu/id/eprint/4036, authors = "Hofstee, H. Peter", title = "Synchronizing processes", year = "1995", url = "https://resolver.caltech.edu/CaltechETD:etd-10112007-083903", id = "https://thesis.library.caltech.edu/id/eprint/4036", doi = "10.7907/G620-GG65" } @other{https://thesis.library.caltech.edu/id/eprint/6903, authors = "Kryukova, Svetlana A.", title = "Parallel Programming Archetypes in Combinatorics and Optimization", year = "1995", url = "https://resolver.caltech.edu/CaltechTHESIS:04112012-083734292", id = "https://thesis.library.caltech.edu/id/eprint/6903", doi = "10.7907/g8mm-x344" } @other{https://thesis.library.caltech.edu/id/eprint/4114, authors = "Leino, K. Rustan M.", title = "Toward reliable modular programs", year = "1995", url = "https://resolver.caltech.edu/CaltechETD:etd-10162007-111256", id = "https://thesis.library.caltech.edu/id/eprint/4114", doi = "10.7907/ynt2-nn65" } @other{https://thesis.library.caltech.edu/id/eprint/6873, authors = "Carlin, Peter", title = "Distributed linear algebra on networks of workstations", year = "1994", url = "https://resolver.caltech.edu/CaltechTHESIS:03272012-094222255", id = "https://thesis.library.caltech.edu/id/eprint/6873", doi = "10.7907/ync0-mn20" } @other{https://thesis.library.caltech.edu/id/eprint/6911, authors = "Manohar, Rajit", title = "Mach-Based Channel Library", year = "1994", url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-094328813", id = "https://thesis.library.caltech.edu/id/eprint/6911", doi = "10.7907/q2v9-sq59" } @other{https://thesis.library.caltech.edu/id/eprint/6920, authors = "Massingill, Berna Linda", title = "Integrating Task and Data Parallelism", year = "1993", url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-130550435", id = "https://thesis.library.caltech.edu/id/eprint/6920", doi = "10.7907/a7ga-s950" } @other{https://thesis.library.caltech.edu/id/eprint/6919, authors = "Sivilotti, Paul", title = "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language", year = "1993", url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175", id = "https://thesis.library.caltech.edu/id/eprint/6919", doi = "10.7907/ngrt-q826" }