Sciweavers

2116 search results - page 194 / 424
» Resource Analysis by Sup-interpretation
Sort
View
ASIAN
2003
Springer
127views Algorithms» more  ASIAN 2003»
15 years 9 months ago
A Calculus of Bounded Capacities
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
Franco Barbanera, Michele Bugliesi, Mariangiola De...
GCC
2003
Springer
15 years 9 months ago
Computing Pool: A Simplified and Practical Computational Grid Model
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
Peng Liu, Yao Shi, Sanli Li
PODC
1996
ACM
15 years 8 months ago
Fundamental Challenges in Mobile Computing
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
Mahadev Satyanarayanan
134
Voted
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 8 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner
ATAL
2008
Springer
15 years 6 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal