Microsoft Research PublicationsKeep current with all the latest Microsoft Research Publications and Technical ReportsBounded reachability of model programs- May 1, 2008 Model programs represent labeled transition systems and are used to specify expected behavior of systems at a high level of abstraction. Such programs are common as high-level executable specifications of complex protocols. Model programs typically use abstract data types such as sets and maps, and comprehensions to express complex state updates. Such models are mainly used in model-based testing as inputs for test case generation and as oracles during conformance testing. Correctness...http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=technical+report&... Speeding up Inference in Statistical Relational Learning by Clustering Similar Query Literals- May 1, 2008 Markov logic networks (MLNs) are a statistical relational learning model that consists of a set of weighted first-order clauses and provides a way of softening first-order logic. Several machine learning problems have been successfully addressed by treating MLNs as a programming language where a set of features expressed in first-order logic is manually engineered by the designer and then weights for these features are learned from the data. Inference over the learned model is an important...http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=technical+report&... Proceedings of the workshop on "The Rise and Rise of the Declarative Datacentre"- May 1, 2008 Various hardware and software technologies are transforming datacentre management into a programming problem. Network booting and virtualization allow dynamic allocation of hardware resources. Virtual machine mobility helps to optimize hardware utilization, to support maintenance, and to minimize power consumption. Virtual networking isolates mutually distrustful workloads, and allows test to proceed concurrently with production. These technologies reduce the need for human intervention -...http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=technical+report&... ManySat: solver description- May 1, 2008 This document briefly describes the ManySat parallel SAT solver.http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=technical+report&... Life Scheduling to Support Multiple Social Roles- May 1, 2008 We present the results of our study of 15 working parents, and how they manage their life scheduling needs, that is, how they manage their personal and professional schedules across settings and calendaring tools. In particular, we discuss how their dual roles of parent and employee compel them to record personal information on their professional calendars and we detail the tensions that arise in doing so. Finally, we present suggestions for future calendaring applications that better support...http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=Publication&id=18... |