Results 1 - 10 of 1,878

Formal Methods: State of the Art and Future Directions

by Edmund M. Clarke, Jeannette M. Wing - ACM Computing Surveys , 1996
"... ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, N ..."
Abstract - Cited by 425 (6 self) - Add to MetaCart
, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. 2 \Delta E.M. Clarke and J.M. Wing About Programs---Mechanical verification, Specification techniques; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic---Mechanical theorem proving General Terms: Software engineering

Hardware-Software Co-Design Of Embedded Systems Hardware-Software Co-Design Of Embedded Systems

by Felice Balarin, Ellen Sentovich, Massimiliano CHIODO, Paolo GIUSTO, Harry Hsieh, Bassam Tabbara, Attila Jurecska, Magneti Marelli, Divisione Elettronica, Luciano Lavagno, Claudio Passerone
"... ion 172 4.5 Scheduling-Specific Parts: Coordinating sw-CFSMs 183 4.6 Common Parts: Filling the Gaps 191 4.7 Schedule Validation 191 5 VERIFICATION 199 5.1 Rapid Prototyping 201 5.2 Simulation 204 5.3 Co-simulation using the PTOLEMY environment 206 5.4 Simulation as partitioning support 223 5.5 Hig ..."
Abstract - Cited by 209 (30 self) - Add to MetaCart
.5 High-level Co-simulation using VHDL 228 5.6 Formal Verification 233 6 INTERFACING TO EXTERNAL HARDWARE AND SOFTWARE 247 6.1 External Hardware 248 6.2 External Software 249 6.3 Interfacing to an External RTOS 250 7 DESIGN EXAMPLES 255 7.1 A Dashboard Controller 255 7.2 An Automotive Bus Controller

Behavior Protocols for Software Components

by Frantisek Plasil, Stanislav Visnovsky - IEEE Transactions on Software Engineering , 2002
"... In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the "interplay" on the component's interfaces and reflect step-by-step refinement of the component& ..."
Abstract - Cited by 212 (32 self) - Add to MetaCart
's specification during its design. In addition, the notation should be easy to comprehend and allow for formal reasoning about the correctness of the specification refinement and also about the correctness of an implementation in terms of whether it adheres to the specification. Targeting all

Database Description with SDM: A Semantic Database Model

by Michael Hammer, Dennis Mcleod - ACM Transactions on Database Systems , 1981
"... SDM is a high-level semantics-based database description and structuring formalism (database model) for databases. This database model is designed to capture more of the meaning of an application environment than is possible with contemporary database models. An SDM specification describes a databas ..."
Abstract - Cited by 216 (4 self) - Add to MetaCart
SDM is a high-level semantics-based database description and structuring formalism (database model) for databases. This database model is designed to capture more of the meaning of an application environment than is possible with contemporary database models. An SDM specification describes a

Formal

by unknown authors
"... specification of the user interface by using parametric context-free grammars ∗ SUMMARY Despite the significant progress and the emergence of proficient tools that have been witnessed recently, the development of user interfaces remains a hard task in the software development process. The use of for ..."
Abstract - Add to MetaCart
of formal methods for the specification of user interfaces has been proposed as an aid in this task and various formal models have been considered. Grammars were one of the earliest models that were proposed. Several drawbacks hinder the application of ordinary context-free grammars in practice and have led

A Proposal for a Description Logic Interface

by Sean Bechhofer , Ian Horrocks , Peter F. Patel-schneider , Sergio Tessaris
"... Most description logic (DL) systems present the application programmer with a functional interface, often defined using a Lisp-like syntax. Such interfaces may be more or less complex, depending on the sophistication of the implemented system, and may be more or less compliant with the KRSS descript ..."
Abstract - Cited by 143 (18 self) - Add to MetaCart
from the application [2]. This approach has several advantages: the issue of implementation language is finessed; the API can be defined in some standard formalism intended for the purpose; a mechanism

Writing Larch Interface Language Specifications

by Jeannette M. Wing - ACM Transactions on Programming Languages and Systems , 1987
"... Current research in specifications is emphasizing the practical use of formal specifications in program design. One way to encourage their use in practice is to provide specification languages that are accessible to both designers and programmers. With this goal in mind, the Larch family of formal s ..."
Abstract - Cited by 80 (2 self) - Add to MetaCart
Current research in specifications is emphasizing the practical use of formal specifications in program design. One way to encourage their use in practice is to provide specification languages that are accessible to both designers and programmers. With this goal in mind, the Larch family of formal

Formalizing Hardware/Software Interface Specifications

by Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con Mcgarvey
"... Abstract—Software drivers are usually developed after hardware devices become available. This dependency can induce a long product cycle. Although co-simulation and co-verification techniques have been utilized to facilitate the driver development, Hardware/Software (HW/SW) interface models, as the ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
, as the test harnesses, are often challenging to specify. Such interface models should have formal semantics, be efficient for testing, and cover all HW/SW behaviors described by HW/SW interface protocols. We present an approach to formalizing HW/SW interface specifications, where we propose a semantic model

Coil sensitivity encoding for fast MRI. In:

by Klaas P Pruessmann , Markus Weiger , Markus B Scheidegger , Peter Boesiger - Proceedings of the ISMRM 6th Annual Meeting, , 1998
"... New theoretical and practical concepts are presented for considerably enhancing the performance of magnetic resonance imaging (MRI) by means of arrays of multiple receiver coils. Sensitivity encoding (SENSE) is based on the fact that receiver sensitivity generally has an encoding effect complementa ..."
Abstract - Cited by 193 (3 self) - Add to MetaCart
of the object. Formally this is done simply by removing the corresponding column in the sensitivity matrix and setting the excluded pixel to zero in the final image. Knowledge of which voxels may safely be excluded is obtained as a by-product of sensitivity assessment. In Eq. [2] receiver noise levels

Design of a Wireless Sensor Network Platform for Detecting Rare, Random, and Ephemeral Events

by Prabal Dutta, Mike Grimmer, Anish Arora, Steven Bibyk, David Culler , 2005
"... We present the design of the eXtreme Scale Mote, a new sensor network platform for reliably detecting and classifying, and quickly reporting, rare, random, and ephemeral events in a largescale, long-lived, and retaskable manner. This new mote was designed for the ExScal project which seeks to demons ..."
Abstract - Cited by 172 (18 self) - Add to MetaCart
to demonstrate a 10,000 node network capable of discriminating civilians, soldiers and vehicles, spread out over a 10km 2 area, with node lifetimes approaching 1,000 hours of continuous operation on two AA alkaline batteries. This application posed unique functional, usability, scalability, and robustness
Results 1 - 10 of 1,878