Sciweavers

2192 search results - page 110 / 439
» Embedded function composition
Sort
View
OPODIS
2004
15 years 2 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
107
Voted
PERCOM
2007
ACM
16 years 8 days ago
The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
Paolo Costa, Geoff Coulson, Richard Gold, Manish L...
123
Voted
PLPV
2009
ACM
15 years 9 months ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
79
Voted
FPL
2007
Springer
128views Hardware» more  FPL 2007»
15 years 6 months ago
Embedded Programmable Logic Core Enhancements for System Bus Interfaces
Programmable logic cores (PLCs) offer a means of providing post-fabrication re-configurability to a SoC design. Circuits implemented in a PLC will inevitably have lower timing per...
Bradley R. Quinton, Steven J. E. Wilton
ETFA
2006
IEEE
15 years 6 months ago
Normalization of Industrial Machinery with Embedded Devices and SOA
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
Virgilio Gilart-Iglesias, Francisco Maciá P...