Sciweavers

13004 search results - page 2220 / 2601
» Mining Software Data
Sort
View
FSTTCS
2007
Springer
16 years 29 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ISPA
2007
Springer
16 years 28 days ago
Parallelization Strategies for the Points of Interests Algorithm on the Cell Processor
The Cell processor is a typical example of a heterogeneous multiprocessor-on-chip architecture that uses several levels of parallelism to deliver high performance. Closing the gap ...
Tarik Saidani, Lionel Lacassagne, Samir Bouaziz, T...
IVA
2007
Springer
16 years 28 days ago
Spatial Social Behavior in Second Life
We have developed software bots that inhabit the popular online social environment SecondLife (SL). Our bots can wander around, collect data, engage in simple interactions, and car...
Doron Friedman, Anthony Steed, Mel Slater
OOPSLA
2007
Springer
16 years 28 days ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer
PDCAT
2007
Springer
16 years 27 days ago
Grid Unit: A Self-Managing Building Block for Grid System
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
Jianfeng Zhan, Lei Wang, Ming Zou, Hui Wang, Shuan...
« Prev « First page 2220 / 2601 Last » Next »