Open Access
Debugging techniques for equation-based languages
Peter Bunus
- 01 Jan 2004
66
TL;DR: This research presents a novel approaches to physical system simulation called "Smart Cassandra", which automates the very labor-intensive and therefore time-heavy and expensive process of designing and simulating physical systems.
read more
Abstract: Mathematical modeling and simulation of complex physical systems is emerging as a key technology in engineering. Modern approaches to physical system simulation allow users to specify simulation mo ...
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Automatic Parallelization of Equation-Based Simulation Programs
Peter Aronsson
- 01 Jan 2006
TL;DR: This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and therefore expensive process of modeling large and complex systems through an equation-based approach.
TALplanner and Other Extensions to Temporal Action Logic
Jonas Kvarnström
- 01 Jan 2005
TL;DR: Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is deliberation.
Verification and Scheduling Techniques for Real-Time Embedded Systems
Luis-Alejandro Cortes
- 01 Jan 2005
TL;DR: Modeling and verification techniques targeted towards hard real-time systems, where correctness, both logical and temporal, is of prime importance, are proposed and an approach to the formal verification of systems represented in the modeling formalism is introduced.
•Dissertation
Discrete and Continuous Shape Writing for Text Entry and Control
Per Ola Kristensson
- 01 Jan 2007
TL;DR: This dissertation explores how software keyboards on touch-screens can be improved to provide an efficient and practical text and command entry experience on mobile devices and shows that shape writing is among the fastest mobile interfaces for text entry and control, both initially and after practice, that are currently known.
Hybrid Built-In Self-Test and Test Generation Techniques for Digital Systems
Gert Jervan
- 01 Jan 2005
TL;DR: A novel hybrid BIST technique that addresses several areas where classical BIST methods have shortcomings is presented, and a set of optimization methods to reduce the hybrid test cost while not sacrificing test quality are proposed.