Sciweavers

9821 search results - page 1637 / 1965
» A Framework for the Development of Protocols
Sort
View
DATE
2006
IEEE
118views Hardware» more  DATE 2006»
16 years 26 days ago
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Hei...
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
16 years 26 days ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
16 years 26 days ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
ECBS
2006
IEEE
112views Hardware» more  ECBS 2006»
16 years 25 days ago
A Goal-Oriented Approach for Safety Requirements Specification
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
Elena Navarro, Pedro Sánchez, Patricio Lete...
ESCIENCE
2006
IEEE
16 years 25 days ago
TextGrid and eHumanities
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
Peter Gietz, Andreas Aschenbrenner, Stefan Bü...
« Prev « First page 1637 / 1965 Last » Next »