Sciweavers

3338 search results - page 95 / 668
» Assigning Papers to Referees
Sort
View
SFP
2003
13 years 9 months ago
Static single information from a functional perspective
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
Jeremy Singer
SCL
2008
68views more  SCL 2008»
13 years 7 months ago
Nonuniform in time state estimation of dynamic systems
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
Iasson Karafyllis, Costas Kravaris
ENTCS
2002
66views more  ENTCS 2002»
13 years 7 months ago
Strongly Normalising Cut-Elimination with Strict Intersection Types
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
Steffen van Bakel
IEEEPACT
2003
IEEE
14 years 1 months ago
Resolving Register Bank Conflicts for a Network Processor
This paper discusses a register bank assignment problem for a popular network processor--Intel's IXP. Due to limited data paths, the network processor has a restriction that ...
Xiaotong Zhuang, Santosh Pande
ICCSA
2007
Springer
14 years 1 months ago
Low-Complexity Unequal Packet Loss Protection for Real-Time Video over Ubiquitous Networks
Ubiquitous multimedia services are emerging to be available at anytime and anywhere using a variety of computing devices. In this paper, we propose a low-complexity unequal loss pr...
Hojin Ha, Changhoon Yim, Young Yong Kim