Sciweavers

618 search results - page 93 / 124
» Design Components: Towards Software Composition at the Desig...
Sort
View
ADAEUROPE
2004
Springer
14 years 1 months ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
PPAM
2005
Springer
14 years 1 months ago
Open MPI: A Flexible High Performance MPI
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬€erent aspects of high-performance computing or are intended to solve a speciļ¬...
Richard L. Graham, Timothy S. Woodall, Jeffrey M. ...
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 2 days ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
IFIP
2010
Springer
13 years 2 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
VLSID
2003
IEEE
147views VLSI» more  VLSID 2003»
14 years 8 months ago
SoC Synthesis with Automatic Hardware Software Interface Generation
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
Amarjeet Singh 0002, Amit Chhabra, Anup Gangwar, B...