Filters








83,546 Hits in 3.6 sec

An Implementation and Analysis of a Kernel Network Stack in Go with the CSP Style [article]

Harshal Sheth, Aashish Welling
2016 arXiv   pre-print
This research evaluates the advantages and disadvantages of a kernel written in a higher level language.  ...  From this, it can be concluded that Go with CSP style is a viable alternative to C for the language of kernel implementations.  ...  A Kernel Written in a Higher Level Language One way to overcome some of these drawbacks is to implement the kernel in a higher level language.  ... 
arXiv:1603.05636v1 fatcat:my5tddujv5fsvll5z7fuk3wcie

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP [chapter]

Fabienne Boyer, Olivier Gruber, Gwen Salaün
2011 Lecture Notes in Computer Science  
The protocol is implemented in the Synergy virtual machine, the prototype of an ongoing research programme on reconfigurable and robust component-aware virtual machines.  ...  As an illustration of this trend, this paper reports on our experience with the co-design and specification of the reconfiguration protocol of a component-based platform, intended as the foundation for  ...  The author would like to thank Frédéric Lang and the anonymous reviewers for their comments on a former version of this paper.  ... 
doi:10.1007/978-3-642-21437-0_10 fatcat:vq362yajprh7lb2vlhbsq6puae

First-class runtime generation of high-performance types using exotypes

Zachary DeVito, Daniel Ritchie, Matt Fisher, Alex Aiken, Pat Hanrahan
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
To achieve high performance, we use staged programming to define the behavior of an exotype during a runtime compilation step and implement exotypes in Terra, a low-level staged programming language.  ...  We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages.  ...  Any opinions, findings and conclusion or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of DARPA.  ... 
doi:10.1145/2594291.2594307 dblp:conf/pldi/DeVitoRFAH14 fatcat:rhsunnw3m5bvzjfshnqjh7petq

First-class runtime generation of high-performance types using exotypes

Zachary DeVito, Daniel Ritchie, Matt Fisher, Alex Aiken, Pat Hanrahan
2014 SIGPLAN notices  
To achieve high performance, we use staged programming to define the behavior of an exotype during a runtime compilation step and implement exotypes in Terra, a low-level staged programming language.  ...  We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages.  ...  Any opinions, findings and conclusion or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of DARPA.  ... 
doi:10.1145/2666356.2594307 fatcat:pcaaohxcenbplmbqvjodzy2eam

Hop, Skip, & Jump

Kunshan Wang, Stephen M. Blackburn, Antony L. Hosking, Michael Norrish
2018 Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments - VEE '18  
Conventional wisdom, apparent in JavaScript engines such as V8 and SpiderMonkey, is that OSR must be implemented in a low-level (i.e., in assembly) and language-specific way.  ...  This paper presents an OSR abstraction based on Swapstack, materialized as the API for a low-level virtual machine, and shows how the abstraction of resumption protocols facilitates an elegant implementation  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1145/3186411.3186412 dblp:conf/vee/WangBHN18 fatcat:tyinkmu4tzggfmglp2y7edl324

XML11 — an abstract windowing protocol

Arno Puder
2006 Science of Computer Programming  
The prototype implementation of XML11 runs in any standard web browser without Java capabilities on the client side and replaces AWT/Swing on the server side.  ...  XML11 is an XML-based protocol that allows asynchronous UI updates of widgets to an end-device. To overcome high-latency connections, XML11 allows migration of application logic to the end-device.  ...  XML11 also makes use of crosslanguage translation to implement a code migration framework. This is achieved by creating an assembly language for Java byte code which we call XMLVM.  ... 
doi:10.1016/j.scico.2005.07.006 fatcat:kojzuosjyrahpijhwkyfbcfmbi

Reconfigurable SCA Applications with the FraSCAti Platform

Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani
2009 2009 IEEE International Conference on Services Computing  
The recently developed Service Component Architecture (SCA) [1] aims to fulfill that need with a specification for an SOA platform that is technology (i.e. programming language and protocol) agnostic,  ...  This paper presents the FraSCAti platform, which brings runtime management features to SCA, and discusses key principles in its design: the adoption of an extended SCA component model for the implementation  ...  A XML-based assembly language is available to configure and assemble components. Four main principles underlie the design of SCA.  ... 
doi:10.1109/scc.2009.27 dblp:conf/IEEEscc/SeinturierMFDSS09 fatcat:rqzhy5lavjc3llccz5oozlvxbm

Verification of a cryptographic primitive: SHA-256 (abstract)

Andrew W. Appel
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256.  ...  This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic.  ...  the semantics of x86 assembly language.  ... 
doi:10.1145/2737924.2774972 dblp:conf/pldi/Appel15 fatcat:y6cuvyfpozh5hj6jimraf7q3ci

Declarative platform for high-performance network traffic analytics

Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, Boon Thau Loo
2014 Cluster Computing  
In a cluster of machines, SCALANYTICS further improves throughput through the use of a consistent-hashing based load partitioning strategy.  ...  Our evaluation on a 16-core machine demonstrate that SCALANYTICS achieves up to 11.4× improvement in throughput compared with the best uniprocessor implementation.  ...  Our ANALOG language has its root in declarative networking [14] , which aims to provide a compact domain specific language for implementing network routing protocols.  ... 
doi:10.1007/s10586-014-0363-2 fatcat:qqv5kunrpjcnpmjcfmnt3fqpoi

Architecture-Centric Component-Based Development Needs a Three-Level ADL [chapter]

Huaxi Zhang, Christelle Urtado, Sylvain Vauttier
2010 Lecture Notes in Computer Science  
Finally, architecture assemblies define how components instances are created and initialized to customize the deployment of architectures in their own execution contexts.  ...  Such development processes produce architecture definitions, using architecture description languages (Adls). This paper proposes a three step process.  ...  The language has been implemented twice: as an XML-based Adl and as a Java-based Adl.  ... 
doi:10.1007/978-3-642-15114-9_22 fatcat:6ujinibm3jdwvlzhxatrvgndw4

An experience report on the verification of autonomic protocols in the cloud

Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber
2013 Innovations in Systems and Software Engineering  
In this article, we present two experiences we had in formally specifying and verifying such protocols.  ...  The first one aims at designing a reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems.  ...  The authors would like to thank Frédéric Lang and Radu Mateescu for their very interesting comments on a former version of this paper.  ... 
doi:10.1007/s11334-013-0204-0 fatcat:rmtesb3gxzanvoi6vvfytcjba4

Data compression algorithms for flow tables in Network Processor RuNPU

Nikita Igorevitch Nikiforov, Dmitry Yuryevitch Volkanov
2021 Proceedings of the Institute for System Programming of RAS  
In our work, we consider the NP without the associative memory. Flow tables are represented by an assembly language program in the NP.  ...  An evaluation of the implemented data compression algorithms was performed on a simulation model of the NP.  ...  We used the following parameters in our evaluation: • An assembly language program memory usage%Memory usage by assembly language program. • An assembly language program average number of instructions  ... 
doi:10.15514/ispras-2021-33(4)-6 fatcat:wmp4rhjaq5dx5hre4lfy3ixb54

A Component Model for Architectural Programming

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
2006 Electronical Notes in Theoretical Computer Science  
"Architectural programming" overcomes the problem of architectural erosion in implementations by integrating concepts of software architecture into programming languages.  ...  We give a formalisation of the abstract component model in terms of transition systems and states as algebras, and prove a consistency result for assemblies.  ...  In the implementation, an architecture should be implemented in an architectural programming language, like Java/A.  ... 
doi:10.1016/j.entcs.2006.05.015 fatcat:qmf5rp3wcna55curg6ixboy3vy

Design and Optimization of Medium Access Control Protocol of IEEE 802.3 Transmitter with VHDL

Puran Gour, Ravi Shankar Mishra, Saima Khan, Rajesh Nema
2011 International Journal of Computer Applications  
It starts by describing the behavior of MAC circuit using VHISC Hardware Description Language (VHDL). A synthesized VHDL model of the chip is developed and implemented on target technology.  ...  It focuses on the design of a MAC Transmitter chip with embedded Built-In-Self-Test (BIST) architecture using FPGA technology.  ...  A MAC protocol is not required in full-duplex point-to-point communication. In single channel point-topoint communications full-duplex can be emulated. This emulation can be considered a MAC layer.  ... 
doi:10.5120/1747-2381 fatcat:aojm2ddmv5cohpritgzql72soa

Enabling Flexible Packet Filtering Through Dynamic Code Generation

O. Morandi, F. Risso, M. Baldi, A. Baldini
2008 2008 IEEE International Conference on Communications  
fast, packet-processing code, and presents the architecture of a compiler implemented for such purpose.  ...  The NetPDL language was defined for overcoming such limitations, allowing decoupling applications from the knowledge of the format of protocol headers.  ...  An algorithm for the dynamic generation of packet filtering programs from NetPDL protocol descriptions is presented in Section III, while Section IV discusses its implementation in a compiler.  ... 
doi:10.1109/icc.2008.1094 dblp:conf/icc/MorandiRBB08 fatcat:i64c3ubbbzcflkesftreuklh74
« Previous Showing results 1 — 15 out of 83,546 results