Kristian Kvilekval | University of California, Santa Barbara (original) (raw)
Uploads
Papers by Kristian Kvilekval
2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011
ABSTRACT Leases have proved to be an effective concurrency control technique for distributed syst... more ABSTRACT Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We confirm our analytical findings by running a set of experiments with the OO7 benchmark suite using a variety of workloads and fault loads.
2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011
ABSTRACT Leases have proved to be an effective concurrency control technique for distributed syst... more ABSTRACT Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We confirm our analytical findings by running a set of experiments with the OO7 benchmark suite using a variety of workloads and fault loads.
Academic Press Library in Signal Processing, Volume 6
Leases have proved to be an effective concurrency control technique for distributed systems that ... more Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of different lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We also introduce a novel automatic method of lease calculation for complex transactions on object systems based on program analysis. We confirm our analytical findings, complement them, and demonstrate the prediction technique by running a set of experiments with the OO7 benchmark suite using a variety of workloads and faultloads.
ECENT advances in the field of microscopy and bio- imaging have brought about the need for better... more ECENT advances in the field of microscopy and bio- imaging have brought about the need for better digital storage of image and meta data. Researchers are creating large amounts of image and meta-data that are very hard to search, organize, process and analyze. To aggravate this situation different manufacturers generate data in different and incompatible formats and different labs use
…, Jan 1, 2010
Advances in the field of microscopy have brought about the need for better image management and a... more Advances in the field of microscopy have brought about the need for better image management and analysis solutions. Novel imaging techniques have created vast stores of images and metadata that are difficult to organize, search, process and analyze. These tasks are further complicated by conflicting and proprietary image and metadata formats, that impede analyzing and sharing of images and any associated data. These obstacles have resulted in research resources being locked away in digital media and file cabinets. Current image management systems do not address the pressing needs of researchers who must quantify image data on a regular basis. We present Bisque, a web-based platform specifically designed to provide researchers with organizational and quantitative analysis tools for 5D image data. Users can extend Bisque with both data model and analysis extensions in order to adapt the system to local needs. Bisque's extensibility stems from two core concepts: flexible metadata facility and an open web-based architecture. Together these empower researchers to create, develop and share novel bioimage analyses. Several case studies using Bisque with specific applications are presented as an indication of how users can expect to extend Bisque for their own purposes.
BMC …, Jan 1, 2009
We present a biosegmentation benchmark that includes infrastructure, datasets with associated gro... more We present a biosegmentation benchmark that includes infrastructure, datasets with associated ground truth, and validation methods for biological image analysis. The primary motivation for creating this resource comes from the fact that it is very difficult, if not impossible, for an end-user to choose from a wide range of segmentation methods available in the literature for a particular bioimaging problem. No single algorithm is likely to be equally effective on diverse set of images and each method has its own strengths and limitations. We hope that our benchmark resource would be of considerable help to both the bioimaging researchers looking for novel image processing methods and image processing researchers exploring application of their methods to biology.
On the Move to Meaningful Internet Systems 2004: …, Jan 1, 2004
Mobile platforms combined with large databases promise new opportunities for mobile applications.... more Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while in the field. In order to support database applications, mobile platforms are required to cache portions of the available data which can speed access over slow communication channels and mitigate communication disruptions. We present a new prefetching technique for databases in mobile environments based on program analysis. SPREE generates maps of a client program's use of structured data to be used by our prefetching runtime system. We apply SPREE in the context of mobile programming for object structured databases demonstrating an effective way to prefetch/hoard over unreliable networks with speedups up to 80% over other techniques.
ECOOP 2004Object-Oriented …, Jan 1, 2004
Programmers have come to expect better integration between databases and the programming language... more Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling has remained blind to the programs. We propose that the database client programs provide a large untapped information resource for increasing database throughput. Given this increase in expressive power between programmers and databases, we investigate how program analysis can increase database concurrency. In this paper, we demonstrate a predictive locking scheduler for object databases. In particular we examine the possibility to predict the client's use of locks. Given accurate predictions, we can increase concurrency through early lock release, perform deadlock detection and prevention, and determine whether locks should be granted before or during a transaction. Furthermore, we demonstrate our techniques on the OO7 and other benchmarks.
Workshop on Bio-Image …, Jan 1, 2008
World Conference on Educational …, Jan 1, 2003
Feedback has always been a cornerstone of the learning process. Advances in mobile devices and wi... more Feedback has always been a cornerstone of the learning process. Advances in mobile devices and wireless connectivity promise closer and better feedback between speakers and audiences. In this paper we discuss a system allowing both real-time and reflective feedback for speakers. By means of online video annotations the audience can augment a lecture with personal notes and give the speaker valuable feedback both instantaneously and retrospectively. The strengths and weaknesses of the system based on lecture hall experiments are presented and discussed.
UMI, ProQuest ® Dissertations & Theses. The world's most comprehensive collectio... more UMI, ProQuest ® Dissertations & Theses. The world's most comprehensive collection of dissertations and theses. Learn more... ProQuest, Predicting program events for mobile programming. by Kvilekval, Kristian Gustav, Ph.D ...
Frontiers in Plant …
Home; About; Submit; Advertise & PR. Register; Login. Science: Genetics: Applied Genetic ... more Home; About; Submit; Advertise & PR. Register; Login. Science: Genetics: Applied Genetic Epidemiology; Behavioral and Psychiatric Genetics; Bioinformatics and Computational Biology; Epigenomics; Evolutionary and Genomic Microbiology; ...
2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011
ABSTRACT Leases have proved to be an effective concurrency control technique for distributed syst... more ABSTRACT Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We confirm our analytical findings by running a set of experiments with the OO7 benchmark suite using a variety of workloads and fault loads.
2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011
ABSTRACT Leases have proved to be an effective concurrency control technique for distributed syst... more ABSTRACT Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We confirm our analytical findings by running a set of experiments with the OO7 benchmark suite using a variety of workloads and fault loads.
Academic Press Library in Signal Processing, Volume 6
Leases have proved to be an effective concurrency control technique for distributed systems that ... more Leases have proved to be an effective concurrency control technique for distributed systems that are prone to failures. However, many benefits of leases are only realized when leases are granted for approximately the time of expected use. Correct assessment of lease duration has proven difficult for all but the simplest of resource allocation problems. In this paper, we present a model that captures a number of different lease styles and semantics used in practice. We consider a few performance characteristics for lease-based systems and analytically derive how they are affected by lease duration. We also introduce a novel automatic method of lease calculation for complex transactions on object systems based on program analysis. We confirm our analytical findings, complement them, and demonstrate the prediction technique by running a set of experiments with the OO7 benchmark suite using a variety of workloads and faultloads.
ECENT advances in the field of microscopy and bio- imaging have brought about the need for better... more ECENT advances in the field of microscopy and bio- imaging have brought about the need for better digital storage of image and meta data. Researchers are creating large amounts of image and meta-data that are very hard to search, organize, process and analyze. To aggravate this situation different manufacturers generate data in different and incompatible formats and different labs use
…, Jan 1, 2010
Advances in the field of microscopy have brought about the need for better image management and a... more Advances in the field of microscopy have brought about the need for better image management and analysis solutions. Novel imaging techniques have created vast stores of images and metadata that are difficult to organize, search, process and analyze. These tasks are further complicated by conflicting and proprietary image and metadata formats, that impede analyzing and sharing of images and any associated data. These obstacles have resulted in research resources being locked away in digital media and file cabinets. Current image management systems do not address the pressing needs of researchers who must quantify image data on a regular basis. We present Bisque, a web-based platform specifically designed to provide researchers with organizational and quantitative analysis tools for 5D image data. Users can extend Bisque with both data model and analysis extensions in order to adapt the system to local needs. Bisque's extensibility stems from two core concepts: flexible metadata facility and an open web-based architecture. Together these empower researchers to create, develop and share novel bioimage analyses. Several case studies using Bisque with specific applications are presented as an indication of how users can expect to extend Bisque for their own purposes.
BMC …, Jan 1, 2009
We present a biosegmentation benchmark that includes infrastructure, datasets with associated gro... more We present a biosegmentation benchmark that includes infrastructure, datasets with associated ground truth, and validation methods for biological image analysis. The primary motivation for creating this resource comes from the fact that it is very difficult, if not impossible, for an end-user to choose from a wide range of segmentation methods available in the literature for a particular bioimaging problem. No single algorithm is likely to be equally effective on diverse set of images and each method has its own strengths and limitations. We hope that our benchmark resource would be of considerable help to both the bioimaging researchers looking for novel image processing methods and image processing researchers exploring application of their methods to biology.
On the Move to Meaningful Internet Systems 2004: …, Jan 1, 2004
Mobile platforms combined with large databases promise new opportunities for mobile applications.... more Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while in the field. In order to support database applications, mobile platforms are required to cache portions of the available data which can speed access over slow communication channels and mitigate communication disruptions. We present a new prefetching technique for databases in mobile environments based on program analysis. SPREE generates maps of a client program's use of structured data to be used by our prefetching runtime system. We apply SPREE in the context of mobile programming for object structured databases demonstrating an effective way to prefetch/hoard over unreliable networks with speedups up to 80% over other techniques.
ECOOP 2004Object-Oriented …, Jan 1, 2004
Programmers have come to expect better integration between databases and the programming language... more Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling has remained blind to the programs. We propose that the database client programs provide a large untapped information resource for increasing database throughput. Given this increase in expressive power between programmers and databases, we investigate how program analysis can increase database concurrency. In this paper, we demonstrate a predictive locking scheduler for object databases. In particular we examine the possibility to predict the client's use of locks. Given accurate predictions, we can increase concurrency through early lock release, perform deadlock detection and prevention, and determine whether locks should be granted before or during a transaction. Furthermore, we demonstrate our techniques on the OO7 and other benchmarks.
Workshop on Bio-Image …, Jan 1, 2008
World Conference on Educational …, Jan 1, 2003
Feedback has always been a cornerstone of the learning process. Advances in mobile devices and wi... more Feedback has always been a cornerstone of the learning process. Advances in mobile devices and wireless connectivity promise closer and better feedback between speakers and audiences. In this paper we discuss a system allowing both real-time and reflective feedback for speakers. By means of online video annotations the audience can augment a lecture with personal notes and give the speaker valuable feedback both instantaneously and retrospectively. The strengths and weaknesses of the system based on lecture hall experiments are presented and discussed.
UMI, ProQuest ® Dissertations & Theses. The world's most comprehensive collectio... more UMI, ProQuest ® Dissertations & Theses. The world's most comprehensive collection of dissertations and theses. Learn more... ProQuest, Predicting program events for mobile programming. by Kvilekval, Kristian Gustav, Ph.D ...
Frontiers in Plant …
Home; About; Submit; Advertise & PR. Register; Login. Science: Genetics: Applied Genetic ... more Home; About; Submit; Advertise & PR. Register; Login. Science: Genetics: Applied Genetic Epidemiology; Behavioral and Psychiatric Genetics; Bioinformatics and Computational Biology; Epigenomics; Evolutionary and Genomic Microbiology; ...