31686 search results - page 1 / 6338 » Resource typing in Guru |
PLPV
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
200
click to vote
ICDE
2009
IEEE
15 years 12 months ago
2009
IEEE
In this demo we introduce GuruMine, a pattern mining system for the discovery of leaders, i.e., influential users in social networks, and their tribes, i.e., a set of users usually...
114
click to vote
ICA3PP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. There is growing interest in large-scale resource sharing with emerging architectures such as cloud computing, where globally distributed and commoditized resources can b...
81
Voted
TCS
2008
14 years 10 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...