Sciweavers

4302 search results - page 184 / 861
» Ambiguity as a resource for design
Sort
View
DATE
2003
IEEE
138views Hardware» more  DATE 2003»
15 years 11 months ago
Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric
There have been several recent attempts to include duplication-based on-line testability in behaviourally synthesized designs. In this paper, on-line testability is considered wit...
Petros Oikonomakos, Mark Zwolinski, Bashir M. Al-H...
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
Exception Safety: Concepts and Techniques
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
Bjarne Stroustrup
SFP
2003
15 years 7 months ago
O'Camelot: adding objects to a resource-aware functional language
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
Nicholas Wolverson, Kenneth MacKenzie
SASO
2010
IEEE
15 years 4 months ago
A Decentralised Architecture for Multi-objective Autonomic Management
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
Sylvain Frey, Philippe Lalanda, Ada Diaconescu
NDT
2010
15 years 1 months ago
Ontology Based Tracking and Propagation of Provenance Metadata
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
Miroslav Vacura, Vojtech Svátek