Sciweavers

2452 search results - page 353 / 491
» On Reduction of Lagrange Systems
Sort
View
DATE
2010
IEEE
146views Hardware» more  DATE 2010»
15 years 9 months ago
Leveraging application-level requirements in the design of a NoC for a 4G SoC - a case study
—In this paper, we examine the design process of a Network on-Chip (NoC) for a high-end commercial System onChip (SoC) application. We present several design choices and focus on...
Rudy Beraha, Isask'har Walter, Israel Cidon, Avino...
KDD
2009
ACM
175views Data Mining» more  KDD 2009»
15 years 8 months ago
Multi-class protein fold recognition using large margin logic based divide and conquer learning
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...
Huma Lodhi, Stephen Muggleton, Michael J. E. Stern...
ESOP
2001
Springer
15 years 8 months ago
What Are Polymorphically-Typed Ambients?
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...
LCPC
2001
Springer
15 years 8 months ago
Computing Array Shapes in MATLAB
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
Pramod G. Joisha, U. Nagaraj Shenoy, Prithviraj Ba...
ICDCS
2000
IEEE
15 years 8 months ago
Scalable QoS Guaranteed Communication Services for Real-Time Applications
In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet forwarding scheme, improves scalability of networks while g...
Byung-Kyu Choi, Dong Xuan, Chengzhi Li, Riccardo B...