Sciweavers

1446 search results - page 38 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
ADAEUROPE
2005
Springer
15 years 7 months ago
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
Patrick Rogers, Andy J. Wellings
EUROMICRO
1999
IEEE
15 years 6 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
ECBS
2002
IEEE
81views Hardware» more  ECBS 2002»
15 years 7 months ago
Optimization of a Retargetable Functional Simulator for Embedded Processors
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...
Francesco Papariello, Gabriele Luculli
EUROMICRO
2009
IEEE
15 years 8 months ago
An Extensible Language for Service Dependency Management
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
Siamak Haschemi, Arif Wider
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 7 months ago
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
Steve McKeever, Wayne Luk, Arran Derbyshire