Sciweavers

5639 search results - page 794 / 1128
» Timed Abstract Non-interference
Sort
View
ICOIN
2007
Springer
15 years 11 months ago
On the Early Release of Burst-Control Packets in Optical Burst-Switched Networks
Abstract. In Optical Burst-Switched networks, the so-called BurstControl Packet is sent a given offset-time ahead of the optical data burst to advertise the imminent burst arrival...
José Alberto Hernández, Javier Araci...
ISI
2007
Springer
15 years 11 months ago
SIGHTS: A Software System for Finding Coalitions and Leaders in a Social Network
Abstract—We present an extended version of a software system SIGHTS1 (Statistical Identification of Groups Hidden in Time and Space), which can be used for the discovery, analys...
Jeffrey Baumes, Mark K. Goldberg, Mykola Hayvanovy...
IWOMP
2007
Springer
15 years 11 months ago
A Proposal for Task Parallelism in OpenMP
Abstract. This paper presents a novel proposal to define task parallelism in OpenMP. Task parallelism has been lacking in the OpenMP language for a number of years already. As we ...
Eduard Ayguadé, Nawal Copty, Alejandro Dura...
JSSPP
2007
Springer
15 years 11 months ago
Prospects of Collaboration between Compute Providers by Means of Job Interchange
Abstract. This paper empirically explores the advantages of the collaboration between different parallel compute sites in a decentralized grid scenario. To this end, we assume ind...
Christian Grimme, Joachim Lepping, Alexander Papas...
LFCS
2007
Springer
15 years 11 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang