Sciweavers

19587 search results - page 3501 / 3918
» Systems Engineering for software Engineers
Sort
View
FOSSACS
2010
Springer
16 years 1 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
GLOBECOM
2008
IEEE
16 years 1 months ago
Performance Study of the NSIS QoS-NSLP Protocol
—This paper presents an evaluation of the Quality of Service Signalling Layer Protocol (QoS-NSLP) of the NSIS (Next Steps In Signalling) protocol suite. The QoS-NSLP in combinati...
Mayutan Arumaithurai, Xiaoming Fu, Bernd Schloer, ...
171
Voted
IOLTS
2008
IEEE
102views Hardware» more  IOLTS 2008»
16 years 1 months ago
Integrating Scan Design and Soft Error Correction in Low-Power Applications
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...
Michael E. Imhof, Hans-Joachim Wunderlich, Christi...
155
Voted
IOLTS
2008
IEEE
83views Hardware» more  IOLTS 2008»
16 years 1 months ago
On the Minimization of Potential Transient Errors and SER in Logic Circuits Using SPFD
Sets of Pairs of Functions to be Distinguished (SPFD) is a functional flexibility representation method that was recently introduced in the logic synthesis domain, and promises s...
Sobeeh Almukhaizim, Yiorgos Makris, Yu-Shen Yang, ...
ISORC
2008
IEEE
16 years 1 months ago
A Flexible Trust Model for Distributed Service Infrastructures
Recent years have witnessed the emergence and rapid growth of distributed service infrastructures such as mobile ad hoc networks, P2P, PlanetLab and Grids. In such distributed inf...
Zhaoyu Liu, Stephen S. Yau, Dichao Peng, Yin Yin
« Prev « First page 3501 / 3918 Last » Next »