the proceedings contain 36 papers. the special focus in this conference is on Model Checking and Tools. the topics include: Hierarchical set decision diagrams and regular models;buchi complementation and size-change t...
ISBN:
(纸本)3642007678
the proceedings contain 36 papers. the special focus in this conference is on Model Checking and Tools. the topics include: Hierarchical set decision diagrams and regular models;buchi complementation and size-change termination;learning minimal separating DFA’S for compositional verification;a policy analysis tool for role based access control;a performance bound tool for interval time petri nets;a parametric model-checker for petri nets with stopwatches;a tool for solving parity games with imperfect information;compositional predicate abstraction from game semantics;compositional synthesis of reactive systems from live sequence chart specifications;computing weakest strategies for safety games of imperfect information;context-bounded analysis for concurrent programs with dynamic creation of threads;semantic reduction of thread interleavings in concurrent programs;inferring synchronization under limited observability;the complexity of predicting atomicity violations.;an efficient SMT solver for bit-vectors and arrays;the yogi project: software property checking via static analysis and testing;the talence presburger arithmetic suite;transition-based directed model checking;memoised garbage collection for software model checking;hierarchical adaptive state space caching based on level sampling;parametric analysis static analysis techniques for parameterised boolean equation systems;Parametric Trace Slicing and Monitoring;From Tests to Proofs;Test Input Generation for Programs with Pointers;Specification Mining with Few False Positives;Path Feasibility Analysis for String-Manipulating Programs;Combining String Analysis and Size Analysis and Iterating Octagons;Verifying Reference Counting Implementations.
Symbiosis, the intimate association between two or more organisms, is a fundamental component of biological systems. Our ability to understand the processes involved in the establishment and function of Symbiosis has ...
Symbiosis, the intimate association between two or more organisms, is a fundamental component of biological systems. Our ability to understand the processes involved in the establishment and function of Symbiosis has critical consequences for the health of humans and the world we live in. For example, a deeper understanding of how legumes and insects have harnessed the nitrogen-fixing capacity of microbes can pave the way toward novel strategies to decrease fertilizer use. Also, using insect models to elucidate links between diet, gut microbiota, and toxin sensitivity not only has implications for biological control strategies, but also will lend insights into similar links in the human gut ecosystem. these types of ideas were presented and discussed at the 6thinternational Symbiosis Society Congress held in Madison, Wisconsin August, 2009. Over 300 participants from 20 countries attended the 7-day event, which featured cutting-edge symbiosis research from many different perspectives and disciplines. the conference was organized thematically, with oral sessions focused on Evolution, Ecology, Metabolism, the Host-Microbe Interface, threats to Earthsystems, Symbiosis Models and the Human Microbiome, Viruses and Organelles, and Symbiosis Education. World-renowned scientists, post-doctoral fellows, and students were given the opportunity to describe their most recent discoveries. Session chairs provided overviews of their programs which highlight how the comparative analysis of different systems reveal common trends underlying symbiotic associations, what tools and theory are being developed that may be applied more broadly in symbiosis research, how symbiosis research contributing solutions to global issues such as emerging antibiotic resistance, a need for alternative energy sources, the pursuit of sustainable agriculture and natural resources, and how symbiotic systems are ideal for educating people about the fascinating natural world around us. the following parag
this paper reports measurements and simulations made on 1200V 6A Silicon carbide (SiC) bipolar junction transistors. A SPICE model for the transistor has been developed and verified by static and dynamic measurements....
详细信息
ISBN:
(纸本)9783800732128;9781424448143
this paper reports measurements and simulations made on 1200V 6A Silicon carbide (SiC) bipolar junction transistors. A SPICE model for the transistor has been developed and verified by static and dynamic measurements. Fast switching and low on state losses have been measured and SPICE simulated on the component level. To further describe the impact on a systems level a simplified boost converter has been simulated with regards to power losses and cooling.
the proceedings contain 33 papers. the special focus in this conference is on Fundamental Approaches to Software Engineering. the topics include: Describing and analyzing behaviours over tabular specifications using (...
ISBN:
(纸本)9783642005923
the proceedings contain 33 papers. the special focus in this conference is on Fundamental Approaches to Software Engineering. the topics include: Describing and analyzing behaviours over tabular specifications using (DYN)alloy;reducing the costs of bounded-exhaustive testing;logical testing: Hoare-style specification meets executable validation;cross-entropy-based replay of concurrent programs;control dependence for extended finite state machines;proving consistency of pure methods and model fields;on the implementation of @pre;formal specification and analysis of timing properties in software systems;formal foundation for pattern-based modelling;rewriting logic semantics and verification of model transformations;problem-oriented documentation of design patterns;certification of smart-card applications in common criteria: proving representation correspondences;transformation of type graphs with inheritance for ensuring security in e-government networks;A formal connection between security automata and JML annotations;algorithms for automatically computingthe causal paths of failures;Mining API error-handling specifications from source code;SNIFF: A search engine for java using free-form queries;inquiry and introspection for non-deterministic queries in mobile networks;hol-testgen: An interactive test-case generation framework;cads*: Computer-aided development of self-* systems;confluence in domain-independent product line transformations;have: Detecting atomicity violations via integrated dynamic and static analysis;accurate and efficient structural characteristic feature extraction for clone detection;enhanced property specification and verification in blast;finding loop invariants for programs over arrays using a theorem prover;object flow definition for refined activity diagrams;A category-theoretical approach to the formalisation of version control in MDE;Controller synthesis from LSC requirements;interface generation and compositional verification in javapathf
the proceedings contain 26 papers. the topics discussed include: a light-weight fairness mechanism for chip multiprocessor memory systems;extending concurrency of transactional memory programs by using value predictio...
ISBN:
(纸本)9781605584133
the proceedings contain 26 papers. the topics discussed include: a light-weight fairness mechanism for chip multiprocessor memory systems;extending concurrency of transactional memory programs by using value prediction;space-and-time efficient garbage collectors for parallel systems;core monitors: monitoring performance in multicore processors;a study on optimally co-scheduling jobs of different lengths on chip multiprocessors;a multi-streaming SIMD architecture for multimedia applications;quantitative analysis of sequence alignment applications on multiprocessor architectures;new applications of quantum algorithms to computer graphics: the quantum random sample consensus algorithm;towards automatic program partitioning;non-clairvoyant speed scaling for batched parallel jobs on multiprocessors;and pleiad: a cross-environment middleware providing efficient multithreading on clusters.
this book constitutes the proceedings of two conferences: the 6thinternational ICST conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine 2009) and the 3rd international ICS...
ISBN:
(数字)9783642106255
ISBN:
(纸本)9783642106248
this book constitutes the proceedings of two conferences: the 6thinternational ICST conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine 2009) and the 3rd international ICST Workshop on Advanced Architectures and algorithms for Internet DElivery and Applications (AAA-IDWEA 2009). QShine is a very successfull series of conferences providing an international forum for the discussion and sharing of new research ideas on the design and implementation of Quality of Service (QoS) in heterogeneous wireless and wireline networks. the 19 papers presented at the conference were selected from 40 paper submissions. In addition to this 25 papers from leading researchers working in related fields are presented. the conference is organized in 11 technical sessions covering IP telephony and multimedia, mesh networks, mobility and heterogeneous wireless networks. AAA-IDEA comprises 7 papers that cover a variety of topics such as architectures and algorithms for content and service delivery, energy-aware networks, QoE in media streaming as well as support for mobile and wireless systems.
this paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC - the only tool that implements (new) confidence-interval-...
详细信息
ISBN:
(纸本)9780769538082
this paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC - the only tool that implements (new) confidence-interval-based algorithms for verification of all main CSL-formulae;Ymer - that allows for verification of time-bounded and time-interval until using sequential acceptance sampling;and VESTA - that can verify time-bounded and unbounded until by means of simple hypothesis testing. the study shows that MRMC provides the most accurate verification results. Ymer and VESTA, unlike MRMC, have almost constant memory consumption. Ymer requires the least number of observations to assess the model-checking problem, but MRMC is mostly the fastest. this indicates that the tools' efficiency does not so much depend on sampling but is rather determined by extra computations.
Bluetooth has provided many features that enable wireless ad-hoc networks, but it has also introduced many problems. the root cause of these problems lies in its communication mechanisms. We argue in this paper that t...
详细信息
ISBN:
(纸本)9781424451142
Bluetooth has provided many features that enable wireless ad-hoc networks, but it has also introduced many problems. the root cause of these problems lies in its communication mechanisms. We argue in this paper that the models that have been used to study distributed algorithms on Bluetooth networks do not adequately model these networks in most cases, and were often oversimplified. this is mainly due to how the many restrictions that the Bluetooth specifications impose on such networks are taken into account, and the lack of "shared knowledge" of these restrictions among the researchers of this field. We give some examples to back our argument. We give also some suggestions and proposals to overcome these issues.
暂无评论