A Declarative Framework for Developing Parametrised Hardware Libraries

A Declarative Framework for Developing Parametrised Hardware Libraries

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	McKeever, S, Luk, W
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 2001

Míreanna comhchosúla

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
de réir: McKeever, S, et al.
Foilsithe / Cruthaithe: (2003)

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
de réir: McKeever, S, et al.
Foilsithe / Cruthaithe: (2002)

Pebble: A Language for Parametrised and Reconfigurable Hardware Design
de réir: Luk, W, et al.
Foilsithe / Cruthaithe: (1998)

Reusing Intellectual Property with Parametrised Hardware Libraries
de réir: Luk, W, et al.
Foilsithe / Cruthaithe: (1997)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
de réir: Luk, W, et al.
Foilsithe / Cruthaithe: (2001)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
de réir: McKeever, S, et al.
Foilsithe / Cruthaithe: (2001)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
de réir: McKeever, S, et al.
Foilsithe / Cruthaithe: (2006)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
de réir: Luk, W, et al.
Foilsithe / Cruthaithe: (2001)

Array Synthesis in SystemC Hardware Compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2007)

Area optimisation for field-programmable gate arrays in SystemC hardware compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2008)

Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2008)

Stochastic parametrisation and model uncertainty
de réir: Arnold, HM
Foilsithe / Cruthaithe: (2013)

Attacker-parametrised attack graphs
de réir: Janse van Rensburg, A, et al.
Foilsithe / Cruthaithe: (2016)

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation
de réir: Johan Ditmar, et al.
Foilsithe / Cruthaithe: (2008-01-01)

The Explicit Wake Parametrisation V1.0: a wind farm parametrisation in the mesoscale model WRF
de réir: P. J. H. Volker, et al.
Foilsithe / Cruthaithe: (2015-11-01)

Data assimilation and parametrisation of lakes in HIRLAM
de réir: Laura Rontu, et al.
Foilsithe / Cruthaithe: (2012-03-01)

A parametrisation of UV polarisation of the earth's atmosphere
de réir: Schutgens, N, et al.
Foilsithe / Cruthaithe: (2001)

A simple parametrisation of the pion form factor
de réir: Matthew Kirk, et al.
Foilsithe / Cruthaithe: (2025-02-01)

Towards Adaptable Hierarchical Placement for FPGAs
de réir: de Dinechin, F, et al.
Foilsithe / Cruthaithe: (1999)

Parametrisation of Earth's polarisation spectrum in the ultra-violet
de réir: Schutgens, N, et al.
Foilsithe / Cruthaithe: (2002)

Hydrograph separation: an impartial parametrisation for an imperfect method
de réir: A. Pelletier, et al.
Foilsithe / Cruthaithe: (2020-03-01)

Optimal parametrisation of the Pariser-Parr-Pople Model for benzene and biphenyl
de réir: Bursill, R, et al.
Foilsithe / Cruthaithe: (1998)

Optimal parametrisation of the Pariser-Parr-Pople Model for benzene and biphenyl
de réir: Bursill, R, et al.
Foilsithe / Cruthaithe: (1998)

T-duality simplifies bulk-boundary correspondence: the parametrised case
de réir: Hannabuss, K, et al.
Foilsithe / Cruthaithe: (2016)

The impact of stochastic parametrisations on the representation of the Asian summer monsoon
de réir: Strømmen, KJ, et al.
Foilsithe / Cruthaithe: (2017)

Inverse Relations for Blossoms and Parametrisations of Rational Curves and Surfaces
de réir: Leonardo Fernández-Jambrina
Foilsithe / Cruthaithe: (2024-09-01)

Parallel One-Step Control of Parametrised Boolean Networks
de réir: Luboš Brim, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Uniformly factoring weakly compact operators and parametrised dualisation
de réir: L. Antunes, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Constraining stochastic parametrisation schemes using high-resolution simulations
de réir: Christensen, H
Foilsithe / Cruthaithe: (2020)

Advanced parametrisation of phase change materials through kinetic approach
de réir: Lizana, J, et al.
Foilsithe / Cruthaithe: (2021)

Integration-by-parts identities and differential equations for parametrised Feynman integrals
de réir: Daniele Artico, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Refined Continuous Control of DDPG Actors via Parametrised Activation
de réir: Mohammed Hossny, et al.
Foilsithe / Cruthaithe: (2021-09-01)

On non-linear boundary value problems and parametrisation at multiple nodes
de réir: András Rontó, et al.
Foilsithe / Cruthaithe: (2016-09-01)

Using cloud ice flux to parametrise large-scale lightning
de réir: D. L. Finney, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Design and quantitative analysis of parametrisable eFPGA-architectures for arithmetic
de réir: B. Neumann, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Continuing library education: Declaration and reality
de réir: I. S. Pilko
Foilsithe / Cruthaithe: (2013-03-01)

Apartment development : a strategy for successful decision making /
de réir: 388582 McKeever, J. Ross
Foilsithe / Cruthaithe: (1974)

Parametrised Design of a Cutting Device Used for High Tibial Osteotomy
de réir: Cofaru Nicolae Florin, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Phenomenology of near-threshold states: a practical parametrisation for the line shapes
de réir: Guo F.-K., et al.
Foilsithe / Cruthaithe: (2017-01-01)

A review of the optically and thermally stimulated luminescence properties of aluminosilicates
de réir: S.W.S. McKeever
Foilsithe / Cruthaithe: (2024-12-01)