UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 943

Sortiert nach

Field-Programmable Logic Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings

1996

Link zum Volltext

Verfügbarkeit prüfen

VPR: a new packing, placement and routing tool for FPGA research

Field-Programmable Logic and Applications, 2005, p.213-222

2005

Link zum Volltext

Verfügbarkeit prüfen

Slicing MATLAB Simulink models

2012 34th International Conference on Software Engineering (ICSE), 2012, p.551-561

2012

Link zum Volltext
IEEE_Xplore

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream: 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings

2002

Link zum Volltext

Verfügbarkeit prüfen

Field-Programmable Logic and Applications: 7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings

1997

Link zum Volltext

Verfügbarkeit prüfen

An ASM Semantics for SSA Intermediate Representations

Abstract State Machines 2004. Advances in Theory and Practice, 2004, p.144-160

2004

Link zum Volltext

Verfügbarkeit prüfen

Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.795-805

2002

Link zum Volltext

Verfügbarkeit prüfen

ASMs versus Natural Semantics: A Comparison with New Insights

Abstract State Machines 2003, 2003, p.293-309

2003

Link zum Volltext

Verfügbarkeit prüfen

Finite integer computations : An algebraic foundation for their correctness

Formal aspects of computing, 2006-06, Vol.18 (2), p.244-262

GLESNER, Sabine

2006

Link zum Volltext

Verfügbarkeit prüfen

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP

2011 18th Asia-Pacific Software Engineering Conference, 2011, p.195-202

2011

Link zum Volltext
IEEE_Xplore

Specialized Hardware for Deep Network Packet Filtering

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.452-461

2002

Link zum Volltext

Verfügbarkeit prüfen

RaPiD — Reconfigurable pipelined datapath

Field-Programmable Logic Smart Applications, New Paradigms and Compilers, 2005, p.126-135

2005

Link zum Volltext

Verfügbarkeit prüfen

A virtual hardware operating system for the Xilinx XC6200

Field-Programmable Logic Smart Applications, New Paradigms and Compilers, 2005, p.327-336

2005

Link zum Volltext

Verfügbarkeit prüfen

VLSI-SOC: From Systems to Chips: IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

Link zum Volltext

Verfügbarkeit prüfen

A Flexible Power Model for FPGAs

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.312-321

2002

Link zum Volltext

Verfügbarkeit prüfen

Natural semantics as a static program analysis framework

ACM transactions on programming languages and systems, 2004-05, Vol.26 (3), p.510-577

2004

Link zum Volltext

Verfügbarkeit prüfen

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream

1, 2002

Link zum Volltext

Verfügbarkeit prüfen

A Library of Parameterized Floating-Point Modules and Their Use

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.657-666

2002

Link zum Volltext

Verfügbarkeit prüfen

Granidt: Towards Gigabit Rate Network Intrusion Detection Technology

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.404-413

2002

Link zum Volltext

Verfügbarkeit prüfen

The novel structure of the cockroach allergen Bla g 1 has implications for allergenicity and exposure assessment

Journal of allergy and clinical immunology, 2013-12, Vol.132 (6), p.1420-1426.e9

2013

Link zum Volltext

Verfügbarkeit prüfen

Analysis of glutathione S-transferase allergen cross-reactivity in a North American population: Relevance for molecular diagnosis

Journal of allergy and clinical immunology, 2015-11, Vol.136 (5), p.1369-1377

2015

Link zum Volltext

Verfügbarkeit prüfen

Formal verification of dead code elimination in Isabelle/HOL

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005, p.200-209

2005

Link zum Volltext
IEEE_Xplore

Fast RNS FPL-based Communications Receiver Design and Implementation

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.472-481

2002

Link zum Volltext

Verfügbarkeit prüfen

Novel Optimizations for Hardware Floating-Point Units in a Modern FPGA Architecture

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002, p.637-646

2002

Link zum Volltext

Verfügbarkeit prüfen

SOPC-based Embedded Smart Strain Gage Sensor

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, 2002-08, Vol.2438, p.1131-1134

2002

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 943

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(454)
Mit Volltextzugriff
(913)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Kollektion

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(3)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

Field-Programmable Logic Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings

VPR: a new packing, placement and routing tool for FPGA research

Slicing MATLAB Simulink models

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream: 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings

Field-Programmable Logic and Applications: 7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings

An ASM Semantics for SSA Intermediate Representations

Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs

ASMs versus Natural Semantics: A Comparison with New Insights

Finite integer computations : An algebraic foundation for their correctness

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP

Specialized Hardware for Deep Network Packet Filtering

RaPiD — Reconfigurable pipelined datapath

A virtual hardware operating system for the Xilinx XC6200

VLSI-SOC: From Systems to Chips: IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

A Flexible Power Model for FPGAs

Natural semantics as a static program analysis framework

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream

A Library of Parameterized Floating-Point Modules and Their Use

Granidt: Towards Gigabit Rate Network Intrusion Detection Technology

The novel structure of the cockroach allergen Bla g 1 has implications for allergenicity and exposure assessment

Analysis of glutathione S-transferase allergen cross-reactivity in a North American population: Relevance for molecular diagnosis

Formal verification of dead code elimination in Isabelle/HOL

Fast RNS FPL-based Communications Receiver Design and Implementation

Novel Optimizations for Hardware Floating-Point Units in a Modern FPGA Architecture

SOPC-based Embedded Smart Strain Gage Sensor

Suchergebnisse filtern