Methods for evaluating and covering the design space during early design development

M Gries - Integration, 2004 - Elsevier
This paper gives an overview of methods used for design space exploration (DSE) of micro-
architectures and systems. The DSE problem generally considers two orthogonal issues:(I) …

NDL: a domain-specific language for device drivers

CL Conway, SA Edwards - ACM Sigplan Notices, 2004 - dl.acm.org
Device drivers are difficult to write and error-prone. They are usually written in C, a fairly low-
level language with minimal type safety and little support for device semantics. As a result …

Matrix integrals and the generation and counting of virtual tangles and links

P Zinn-Justin, JB Zuber - Journal of Knot Theory and Its …, 2004 - World Scientific
Virtual links are generalizations of classical links that can be represented by links embedded
in a" thickened" surface Σ× I, product of a Riemann surface of genus h with an interval. In this …

On the metastability of 'monolayer coverage'in the MoO3/ZrO2 dispersions

P Afanasiev - Materials chemistry and physics, 1997 - Elsevier
Sintering of differently prepared MoO3/ZrO2 supported systems and solid-solid wetting
(SSW) in the mixtures of these oxides upon their heating was studied. It has been shown that …

[PDF][PDF] ProGram: A grammar-based method for specification and hardware synthesis of communication protocols

J Öberg - 1999 - diva-portal.org
A data communication protocol is an agreement between two or more communication
parties about the exchange of messages in order to provide some service. The protocol …

Exploration et conception systématique d'architectures multiprocesseurs monopuces dédiées à des applications spécifiques= methods and tools for multiprocessor …

A Baghdadi - 2002 - theses.hal.science
Les applications embarquées actuelles imposent des contraintes de plus en plus sévères.
La puissance sans cesse croissante de calcul et de communication implique l'utilisation …

Code generation for Linux device driver

YH Choi, WI Kwon, HN Kim - 2006 8th International …, 2006 - ieeexplore.ieee.org
Device drivers are software interfaces between software applications and hardware devices.
As part of complex operating system, device drivers are considered extremely difficult to …

Synchronization optimized queuing system

L Arimilli, C Basso, P Chaudhary, BC Drerup… - US Patent …, 2012 - Google Patents
(57) ABSTRACT A synchronization optimized queuing method and device to minimize
software/hardware interaction in network interface hardware during an end-of-initiative …

A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models

E Lisboa, L Silva, I Chaves, T Lima… - Proceedings of th 12th …, 2009 - dl.acm.org
Nowadays, embedded Systems must communicate with different peripheral devices. The
communication structure is implemented by a combined solution of hardware and software …

Formal Verification of Peripheral Memory Isolation

J Haglund - 2023 - diva-portal.org
In many contexts, computers run both critical and untrusted software, necessitating the need
for isolating critical software from untrusted software. These computers contain CPUs …