Sciweavers

16430 search results - page 2637 / 3286
» On Computable Tree Functions
Sort
View
PPOPP
1993
ACM
15 years 11 months ago
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
Mary W. Hall, Timothy J. Harvey, Ken Kennedy, Nath...
198
Voted
TLCA
1993
Springer
15 years 11 months ago
Recursive Types Are not Conservative over F
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
Giorgio Ghelli
ACCESSNETS
2009
Springer
15 years 11 months ago
Utility Max-Min Fair Resource Allocation for Diversified Applications in EPON
In EPONs, differentiated services enable higher quality of service (QoS) for some queues over others. However, owing to the coarse granularity of DiffServ, DiffServ in EPONs can ha...
Jingjing Zhang, Nirwan Ansari
208
Voted
ACMICEC
2007
ACM
245views ECommerce» more  ACMICEC 2007»
15 years 11 months ago
Keyword generation for search engine advertising using semantic similarity between terms
An important problem in search engine advertising is keyword1 generation. In the past, advertisers have preferred to bid for keywords that tend to have high search volumes and hen...
Vibhanshu Abhishek, Kartik Hosanagar
ACSC
2009
IEEE
15 years 11 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
« Prev « First page 2637 / 3286 Last » Next »