Sciweavers

15660 search results - page 274 / 3132
» The Unbalance of Set Systems
Sort
View
SKG
2006
IEEE
16 years 25 days ago
Grid Portal System Based on GPIR
Grid portal is the bridge between Grid and user. In this paper a Grid portal system is set up based on GPIR of GridPort. The Grid portal system provides an efficient means to user...
Fang Juan, Geoffrey Fox, Marlon E. Pierce
CAV
2005
Springer
110views Hardware» more  CAV 2005»
16 years 11 days ago
Extended Weighted Pushdown Systems
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
PROFES
2005
Springer
16 years 9 days ago
Measuring Similarity of Large Software Systems Based on Source Code Correspondence
Abstract. It is an important and intriguing issue to know the quantitative similarity of large software systems. In this paper, a similarity metric between two sets of source code ...
Tetsuo Yamamoto, Makoto Matsushita, Toshihiro Kami...
188
Voted
WOSS
2004
ACM
16 years 8 days ago
A control-based framework for self-managing distributed computing systems
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Ne...
KR
2004
Springer
16 years 6 days ago
From Hybrid Systems to Universal Plans Via Domain Compilation
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
Anthony Barrett