default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid J. Greaves
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c30]Myoung Jin Nam, Periklis Akritidis, David J. Greaves:
FRAMER: a tagged-pointer capability system with memory safety applications. ACSAC 2019: 612-626- [c29]David J. Greaves:
Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. MEMOCODE 2019: 2:1-2:11 - [i2]David J. Greaves:
Research Note: An Open Source Bluespec Compiler. CoRR abs/1905.03746 (2019) - 2018
- [i1]Myoung Jin Nam, David J. Greaves, Elias Athanasopoulos, Periklis Akritidis:
FRAMER: A Cache-friendly Software-based Capability Model. CoRR abs/1810.11622 (2018) - 2017
- [c28]David J. Greaves:
Kiwi scientific acceleration at large: Incremental compilation and multi-FPGA HLS demo. FPL 2017: 1 - 2016
- [j6]Ali Mustafa Zaidi, David J. Greaves:
Value State Flow Graph: A Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. ACM Trans. Reconfigurable Technol. Syst. 9(2): 14:1-14:22 (2016) - 2015
- [c27]Jonathan Kimmitt
, David J. Greaves, Marcian N. Cirstea:
A toolchain for safety-critical embedded processor programming using FPGAs. INDIN 2015: 848-855 - [c26]David J. Greaves:
Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. MEMOCODE 2015: 108-117 - 2014
- [c25]Ali Mustafa Zaidi, David J. Greaves:
A New Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. IPDPS Workshops 2014: 122-131 - 2013
- [c24]Ali Mustafa Zaidi, David J. Greaves:
Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing. ICCSW 2013: 136-143 - [c23]Zubair Nabi, Atif Alvi, Gary Allen, David J. Greaves, Rashid Mehmood:
Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing. Nets4Cars/Nets4Trains 2013: 185-196 - 2012
- [c22]David J. Greaves, Muhammad Mehboob Yasin:
TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0. FDL (Selected Papers) 2012: 53-68 - [c21]David J. Greaves, Muhammad Mehboob Yasin:
TLM POWER3: Power estimation methodology for SystemC TLM 2.0. FDL 2012: 106-111 - 2011
- [c20]David J. Greaves, Satnam Singh:
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE 2011: 1-9 - 2010
- [c19]Atif Alvi, David J. Greaves, Rashid Mehmood:
Intra-vehicular verification and control: A two-pronged approach. CSNDSP 2010: 401-405 - [c18]David J. Greaves, Myoung Jin Nam:
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. FDL 2010: 171-177 - [c17]Atif Alvi, Zubair Nabi, David J. Greaves, Rashid Mehmood:
Controlling Real World Pervasive Environments with Knowledge Bases. KES (4) 2010: 576-585 - [c16]David J. Greaves, Satnam Singh:
Designing application specific circuits with concurrent C# programs. MEMOCODE 2010: 21-30
2000 – 2009
- 2009
- [j5]Behzad Bastani, David J. Greaves:
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems. ACM SIGSOFT Softw. Eng. Notes 34(4): 1-14 (2009) - 2008
- [c15]Satnam Singh, David J. Greaves:
Synthesizing FPGA Circuits from Parallel Programs. ARC 2008: 1 - [c14]David J. Greaves, Satnam Singh:
Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM 2008: 3-12 - [c13]David J. Greaves, Satnam Singh:
Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL 2008: 239-240 - [c12]Atif Alvi, David J. Greaves:
Checkable Domain Management with Ontology and Rules. ICIW 2008: 142-149 - 2006
- [c11]David J. Greaves:
Avoiding two-level systems: Using a textual environment to address cross-cutting concerns. ICSOFT (1) 2006: 71-76 - [c10]David J. Greaves, Daniel Gordon:
Using Simple Pushlogic. WEBIST (1) 2006: 101-108 - 2004
- [c9]David J. Greaves:
Automated Hardware Synthesis from Formal Specification Using SAT Solvers. IEEE International Workshop on Rapid System Prototyping 2004: 15-20 - 2002
- [c8]David J. Greaves:
Control Software for Home Automation, Design Aspects and Position Paper. ICDCS Workshops 2002: 757-764 - 2001
- [j4]Umar Saif, Daniel Gordon, David J. Greaves:
Internet Access to a Home Area Network. IEEE Internet Comput. 5(1): 54-63 (2001) - [c7]Umar Saif, David J. Greaves:
Communication Primitives for Ubiquitous Systems or RPC Considered Harmful. ICDCS Workshops 2001: 240-245 - 2000
- [c6]David J. Greaves:
A Verilog to C Compiler. IEEE International Workshop on Rapid System Prototyping 2000: 122-127
1990 – 1999
- 1998
- [j3]David J. Greaves, Richard J. Bradbury:
Warren: a low-cost ATM home area network. IEEE Netw. 12(1): 44-56 (1998) - 1996
- [c5]Shaw-Cheng Chuang, David J. Greaves:
Securing the Residential Asynchronous Transfer Mode Networks. Security Protocols Workshop 1996: 177-196 - 1995
- [c4]David J. Greaves:
The CSYN Verilog Compiler and Other Tools. FPL 1995: 198-207 - 1994
- [j2]David J. Greaves, Derek McAuley, Leslie J. French, Eoin Hyden:
Protocol and Interface for ATM LANs. J. High Speed Networks 3(2): 147-163 (1994) - [c3]David J. Greaves, Andy Hopper:
A Modular Approach to Low Cost Networked Multimedia. Hot Interconnects 1994: 287-310 - 1993
- [j1]David J. Greaves, Krzysztof Zielinski:
The Cambridge Backbone Network An Overview and Preliminary Performance. Comput. Networks ISDN Syst. 25(10): 1127-1133 (1993) - 1992
- [c2]David J. Greaves, Derek McAuley:
Private ATM Networks. Protocols for High-Speed Networks 1992: 171-181 - 1990
- [c1]David J. Greaves, Dimitris Lioupis, Andy Hopper:
The Cambridge Backbone Ring. INFOCOM 1990: 8-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
