Filters








6,245 Hits in 5.7 sec

Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems [chapter]

K. H. Kim
2009 Lecture Notes in Computer Science  
In terms of lifting the level of abstractions of main program building-blocks, the TMO scheme has been about the most daring attempt.  ...  The scale and complexity of advanced networked embedded computing (NEC) application systems are steadily growing.  ...  No part of this paper represents the views and opinions of the sponsors mentioned above.  ... 
doi:10.1007/978-3-642-10265-3_33 fatcat:jkhdv5h2z5hvrnnxm3ma3lxqqm

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore

Jean-Louis Colaco, Bruno Pagano, Cedric Pasteur, Marc Pouzet
2018 2018 Forum on Specification & Design Languages (FDL)  
One of its novelty was a smooth integration of the traditional dataflow style of Lustre with control-structures inspired from those of Esterel and SyncCharts, with static/dynamic semantics and a compilation  ...  The language has been founded on the pioneering work by Caspi and Halbwachs on Lustre. In 2008, a major revision of the language and compiler, named 'Scade 6', was released.  ...  Our goal is to provide a flow to make sure that these issues can be dealt with at integration level, with no impact on the functional model.  ... 
doi:10.1109/fdl.2018.8524052 dblp:conf/fdl/ColacoPPP18 fatcat:qkirynzfkzafternidprmxa55e

Conjunctive partial deduction in practice [chapter]

Jesper Jørgensen, Michael Leuschel, Bern Martens
1997 Lecture Notes in Computer Science  
We describe the concrete options used in the implementation(s), look at abstraction in a practical Prolog context, include and discuss an extensive set of benchmark results.  ...  To this end, partial deductions are no longer computed of single atoms, but rather of entire conjunctions; Hence the term "conjunctive partial deduction".  ...  The authors would like to thank Annalisa Bossi for enlightening comments on termination issues in the context of unfold/fold transformations.  ... 
doi:10.1007/3-540-62718-9_5 fatcat:5lx3cu2bujcstbjcwatjozydei

Communication lifting: fixed point computation for parallelism

Willem G. Vree, Pieter H. Hartel
1995 Journal of functional programming  
AbstractCommunication lifting is a program transformation that can be applied to a synchronous process network to restructure the network.  ...  This tool has been applied to a small set of programs consisting of synchronous process networks. For these networks communication lifting generates parallel programs that do not require locking.  ...  Andy Gravell suggested the derivation of the communication lifting transformation in section 2.  ... 
doi:10.1017/s0956796800001477 fatcat:c7tgkr2cbjfuffrtkqe6qpggri

Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling

Ruben Salvador, Alberto Vidal, Felix Moreno, Teresa Riesgo, Lukas Sekanina
2012 Microprocessors and microsystems  
Adaptive embedded systems are required in various applications. This work addresses these needs in the area of adaptive image compression in FPGA devices.  ...  After this prototype, generic, bio-inspired adaptive System On Chip (SoC) for image compression tasks was validated, a further improved system performance in terms of computing time is tackled in this  ...  Acknowledgments This work was supported by the Spanish Ministry of Science and Research under the project DR.SIMON (Dynamic Reconfigurability for Scalability in Multimedia Oriented Networks) with number  ... 
doi:10.1016/j.micpro.2012.02.002 fatcat:c5vuawfx2ndjdcqkuovis4mz3a

Software Engineering for Software-Intensive Cyber-Physical Systems

Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plasil
2014 Jahrestagung der Gesellschaft für Informatik  
In software-intensive cyber-physical systems (siCPS) the interplay of software control with the physical environment has a prominent role.  ...  Nowadays, siCPS are expected to (i) effectively deal with the issues of distribution, scalability, and environment dynamicity, (ii) control their emergent behavior, and, at the same time, (iii) be versatile  ...  The assumptions build on the fact that a lot of complexity related to networking and the environment can be considered low-level in GPSS and abstracted away by the operating system and middleware.  ... 
dblp:conf/gi/GerostathopoulosKBKP14 fatcat:kj7lxwuppfctrbtwmsdkayyqle

Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example

Soma Dutta, Andrzej Skowron
2021 International Workshop on Concurrency, Specification and Programming  
The paper simply describes different components and features of IGrC model in the light of the concerned example and explains how this computing model has the potential to handle the grounding problem  ...  In this regard, the paper focuses on presenting a real life example of computation where in order to move forward, without stumbling over the obstacles, a blind person needs to explore and learn the surrounding  ...  state machines, or neural network computing are closed in the abstract space, in the mathematical manifold.  ... 
dblp:conf/csp/DuttaS21 fatcat:qlfftn4p3rdtfauf5merbdefvm

Bio-inspired FPGA architecture for self-calibration of an image compression core based on wavelet transforms in embedded systems

Rubén Salvador, Alberto Vidal, Félix Moreno, Teresa Riesgo, Lukáš Sekanina, Teresa Riesgo, Eduardo de la Torre-Arnanz
2011 VLSI Circuits and Systems V  
A generic bio-inspired adaptive architecture for image compression suitable to be implemented in embedded systems is presented.  ...  HW/SW partitioning issues are also considered after a high level description of the algorithm is profiled which validates the proposed resource allocation in the device fabric.  ...  ACKNOWLEDGMENTS This work was supported by the Spanish Ministry of Science and Research under the project DR.SIMON (Dynamic Reconfigurability for Scalability in Multimedia Oriented Networks) with number  ... 
doi:10.1117/12.887123 fatcat:gbkghro6uvgxjnulgcavn74k6u

Architectural Reflection Realising Software Architectures via Reflective Activities [chapter]

Francesco Tisato, Andrea Savigni, Walter Cazzola, Andrea Sosio
2001 Lecture Notes in Computer Science  
Architectural reflection is the computation performed by a software system about its own software architecture.  ...  Building on previous research and on practical experience in industrial projects, in this paper we expand the approach and show a practical (albeit very simple) example of application of architectural  ...  Architectural reflection has the desirable effect of lifting architectural issues up to the programming-in-the-large level.  ... 
doi:10.1007/3-540-45254-0_10 fatcat:baddiv25w5cplewe36oscu27l4

Keeping calm in the face of change

Neil Sculthorpe, Henrik Nilsson
2010 Higher-Order and Symbolic Computation  
standard change propagation in networks with static structure.  ...  Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (time-varying values).  ...  Acknowledgements We would like to thank George Giorgidze, Florent Balestrieri and the anonymous reviewers for their detailed comments and feedback.  ... 
doi:10.1007/s10990-011-9068-x fatcat:2e2fokoi7fgulcvc54yowdxxsu

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala [article]

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2022 arXiv   pre-print
the embedding of field computations as internal DSLs in common general-purpose programming languages -- as exemplified by a Scala implementation, called ScaFi.  ...  Recent works in contexts like the Internet of Things (IoT) and large-scale Cyber-Physical Systems (CPS) propose the idea of programming distributed systems by focussing on their global behaviour across  ...  Acknowledgment This work has been partially supported by the EU/MUR FSE REACT-EU PON R&I 2014-2022 (CCI2014IT16M2OP005).  ... 
arXiv:2012.08626v2 fatcat:33v4ombrlzfbxeqrzwsqdcvtmq

The Planetary System: Web 3.0 & Active Documents for STEM

Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011 Procedia Computer Science  
In this paper we present the Active Documents Paradigm (semantically annotated documents associated with a content commons that holds the corresponding background ontologies) and the Planetary system (  ...  We show that the current Planetary system gives a solid foundation and can be extended modularly to address most of the criteria of the Executable Papers Challenge.  ...  Papers in the natural sciences need an infrastructure for dealing with experimental and measurement data. We have already dealt with foundational aspects of experiments in [32] .  ... 
doi:10.1016/j.procs.2011.04.063 fatcat:6qzf2r5evbbvfbbwfc4ivrmqw4

Coupled Transformation of Schemas, Documents, Queries, and Constraints

Joost Visser
2008 Electronical Notes in Theoretical Computer Science  
We have focussed initially on an important instance of coupled transformation that involves a transformation on the level of types, coupled with transformations on the level of values and operations.  ...  In this paper, we provide an overview of the challenges met by the 2LT project and we give a sketch of the solutions offered. 1 This paper is the extended abstract of an invited talk of the same title.  ...  Acknowledgement Many have contributed to the 2LT project, including Tiago Alves, Pablo Berdaguer, Alcino Cunha, Claudia Necco, José Nuno Oliveira, Hugo Pacheco, and Paulo Silva.  ... 
doi:10.1016/j.entcs.2008.04.090 fatcat:kb6vicjstngwblurbbiulrh32m

Eurolab-4-HPC Long-Term Vision on High-Performance Computing [article]

Theo Ungerer, Paul Carpenter
2018 arXiv   pre-print
Because of the long-term perspective and its speculative nature, the authors started with an assessment of future computing technologies that could influence HPC hardware and software.  ...  Radical changes in computing are foreseen for the next decade.  ...  In general there is a need to raise the level of abstraction.  ... 
arXiv:1807.04521v1 fatcat:5neetrgubjhnvcajcktpkohrzq

LIFT – A Legacy InFormation Retrieval Tool

Vinicius Garcia, Eduardo Santana De Almeida, Kellyton Brito, Silvio Meira
2012 Figshare  
Furthermore, we discuss the compliance of LIFT with the defined requirements.  ...  Finally, we applied the LIFT in a reverse engineering project of a 210KLOC NATURAL/ADABAS system of a financial institution and analyzed its effectiveness and scalability, comparing data with previous  ...  system in another form or at a higher level of abstraction.  ... 
doi:10.6084/m9.figshare.96670.v1 fatcat:mufjbvopevctldaogubyg5d2hm
« Previous Showing results 1 — 15 out of 6,245 results