11,598 Hits in 3.7 sec

Combining imperative and declarative hardware descriptions

T. Todman, W. Luk
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
This paper describes an approach for hardware development that involves both imperative and declarative descriptions.  ...  The imperative descriptions are mainly used for algorithm and application development; they are based on Cobble, a sequential imperative language extended with facilities for parallel computation and arbitrary-sized  ...  ., Celoxica Limited and UK Engineering and Physical Sciences Research Council (Grant number GR/N 66599) is gratefully acknowledged.  ... 
doi:10.1109/hicss.2003.1174813 dblp:conf/hicss/TodmanL03 fatcat:fp6dymciqjgh7mepe547nce5gm

Formal methods for engineering special-purpose parallel systems introduction to minitrack

A.E. Abdallah, W. Luk
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
The paper Combining Imperative and Declarative Hardware Descriptions by Tim Todman and Wayne Luk describes an approach for hardware development that involves both imperative and declarative descriptions  ...  Equally important, the applications can be implemented by programmers systematically applying parallel programming principles and techniques rather than thinking about hardware design and structures.  ...  The paper Combining Imperative and Declarative Hardware Descriptions by Tim Todman and Wayne Luk describes an approach for hardware development that involves both imperative and declarative descriptions  ... 
doi:10.1109/hicss.2003.1174807 fatcat:5ckhdatqzzh5tnysh7eeq6ieku


Felix Klein, Kristian Sons, Stefan John, Dmitri Rubinstein, Philipp Slusallek, Sergiy Byelozyorov
2012 Proceedings of the 17th International Conference on 3D Web Technology - Web3D '12  
In this paper we present Xflow, a system for declarative, highperformance data processing. In combination with XML3D, it allows Web developers to combine a 3D scene graph with dataflows.  ...  A challenge in adding this functionality to Web technologies is to close the deep gap between low-level hardware programming (e.g. using WebGL or WebCL) and high-level Web development with HTML, CSS and  ...  Hardware efficient design XML3D featured a generic declaration of data buffers, which are optimized for modern graphics hardware and do not require any conversion.  ... 
doi:10.1145/2338714.2338719 dblp:conf/vrml/KleinSJRSB12 fatcat:wkiulqpln5canbwgpazeqohmku

High-level Synthesis [article]

Issam Damaj
2019 arXiv   pre-print
High-level synthesis (HLS) could be defined as the translation from a behavioral description of the intended hardware circuit into a structural description similar to the compilation of programming languages  ...  The field of HLS is continuing its rapid growth to facilitate the creation of hardware and to blur more and more the border separating the processes of designing hardware and software.  ...  (14) proposed a method that combines declarative and imperative hardware descriptions. They investigated the use of Cobble language, which allows abstractions to be done in an imperative setting.  ... 
arXiv:1905.02076v1 fatcat:ffzc23yqevauji7hc42lazlila

Simulation, design abstraction, and SystemC

Ed Harcourt
2007 Computer Science Education  
Because SystemC is embedded in Cþþ it contains the powerful abstraction mechanisms of Cþþ not found in traditional hardware description languages, such as support for object-oriented programming and generic  ...  SystemC is a system-level design and simulation language based on Cþþ. We've been using SystemC for computer organization and design projects for the past several years.  ...  Language-Based Design SystemC is a hardware description language, although SystemC goes beyond hardware and can also be used for developing embedded system software.  ... 
doi:10.1080/08993400601165248 fatcat:ulgsweksy5az5hqmctwh4a2d4a

Superlog, a unified design language for system-on-chip

Peter L. Flake, Simon J. Davidmann
2000 Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00  
Superlog takes features of existing languages for software development and hardware design, adds features for system specification and hardware verification, and blends them into a single, coherent language  ...  The design of systems consisting of custom software controlling custom digital hardware is easier if a single language can be used for system specification, software development, hardware design and hardware  ...  Acknowledgements The authors wish to thanks the members of Co-Design's Technical Advisory Board, Phil Moorby, Don Thomas and Mike McNamara, for their comments during the development of Superlog, and the  ... 
doi:10.1145/368434.368814 dblp:conf/aspdac/FlakeD00 fatcat:xjxknqkmovfc3apbim4btt3dce

The Cognitive Programming Paradigm the Next Programming Struture

Benjamin Odei Bempong
2013 American Journal of Software Engineering and Applications  
The development of computer programming started with the development of the switching logic, because, the computer hardware is made up of millions of digital switches.  ...  It is a fact that, these programming languages are not the exact codes that microprocessors do understand and work with, because through compiler and interpreter programs, these high level programming  ...  The hardware implementation of almost all computers is imperative; nearly all computer hardware is designed to execute machine code, which is native to the computer, written in the imperative style.  ... 
doi:10.11648/j.ajsea.20130202.15 fatcat:wwuqsgv2yjgozpp5idtqf7t25i

Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming [chapter]

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
1994 Lecture Notes in Computer Science  
Similarly, system architectures offer the hardware abstractions and quantitative theories applicable to the execution of compiled programs.  ...  We describe how these principles can be used to model, structure and implement real multiparadigm systems in a portable and extendable way.  ...  Financial support from the British Science and Engineering Research Council and the DTI under grant ref. IED4/410/36/002 is gratefully acknowledged.  ... 
doi:10.1007/3-540-57840-4_32 fatcat:iqge4zrdxnc3vkapyfeswurv2y

An embedded language approach to teaching hardware compilation

Koen Claessen, Gordon J. Pace
2002 SIGPLAN notices  
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as an advanced undergraduate  ...  The functional programming language Haskell was used both to describe circuits and circuit synthesis schemes.  ...  Teaching Hardware Compilation To illustrate hardware compilation concepts, we chose to take a small imperative language (with parallel composition) and to show how it can be compiled into hardware.  ... 
doi:10.1145/636517.636526 fatcat:q4pvf3nacfeqhjgay6m6fjfb64

A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity

Lenny Truong, Pat Hanrahan, Michael Wagner
2019 Summit on Advances in Programming Languages  
ACM Subject Classification HardwareHardware description languages and compilation  ...  This vision is based on a meta-programmed host language combined with a core embedded hardware description language that is used as the basis for the research and development of a sea of domain-specific  ...  They would also like to thank their colleagues at Stanford, particularly members of the HardwarePL Reading Group and the AHA Agile Hardware Center, as many of the ideas in this paper are the direct or  ... 
doi:10.4230/lipics.snapl.2019.7 dblp:conf/snapl/TruongH19 fatcat:nsehyqgmargfxed2ourqxk3hve

TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses [chapter]

Daniel Kästner
2003 Lecture Notes in Computer Science  
The hardware description language Tdl has been designed with the goal to generate machine-dependent postpass optimizers and analyzers from a concise specification of the target processor.  ...  Tdl is assembly-oriented and provides a generic modeling of irregular hardware constraints that are typical for many embedded processors.  ...  dedicated hardware description.  ... 
doi:10.1007/978-3-540-39815-8_2 fatcat:wpc6ak7tbrfzboii24wcwdjqbq

Programming Paradigms in the Context of the Programming Language

Sonia Kumari
2016 International Journal Of Engineering And Computer Science  
Lopez, "Supporting declarative programming through analogy", J. Computing Sciences in Colleges, 16(4), 53-65, 2001. 21.  ...  The choice of the first programming language and the corresponding programming paradigm is critical development of a programmer. In computer science, several programming paradigms can be recognized.  ...  When imperative Programming is combined with subprograms it is called procedural programming.  ... 
doi:10.18535/ijecs/v4i11.13 fatcat:e4jxpkscazegblziek3myaoz7u

P317: Injection safety in health institutions in Benin

S Assavedo, A Attolou Gbohoun, P Soroheye, DP Alahassa, M Amoussou Guenou, B Yorou, KAD Gazard
2013 Antimicrobial Resistance and Infection Control  
The the misuse of injections combines with other harmful practices to cause 8-16000000 cases of infection by the hepatitis B virus and 80,000 to 160, 000 cases of HIV infection.  ...  Among the dangerous practices, reuse of syringes and needles without sterilization is particularly worrying. It becomes imperative to know the current state of injection safety in Benin.  ... 
doi:10.1186/2047-2994-2-s1-p317 pmcid:PMC3687944 fatcat:a5oz5xhnw5c3fgskhc7jrq6qcq

System level design and verification using a synchronous language

G. Berry, M. Kishinevsky, S. Singh
2003 ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)  
They have recently been extended to hardware with new language features and compilers to RTL.  ...  Case studies include examples of design space exploration by synthesizing equivalent hardware or software from the same Esterel description, with formal verification of safety properties such as bus protocol  ...  An Esterel program is made up of declarative and/or imperative statements, which exchange information using signals.  ... 
doi:10.1109/iccad.2003.159720 fatcat:7sidxprs4zgfffv7h5e6rdix74


Pat Bosshart, George Varghese, David Walker, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat
2014 Computer communication review  
Switches should not be tied to any specific network protocols. (3) Target independence: Programmers should be able to describe packetprocessing functionality independently of the specifics of the underlying hardware  ...  description onto the target switch's specific hardware or software platform.  ...  This motivates P4's use of an imperative control flow program to describe header field processing using the declared header types and a primitive set of actions.  ... 
doi:10.1145/2656877.2656890 fatcat:wgjgv2oayrfwze5strvehpki2y
« Previous Showing results 1 — 15 out of 11,598 results