627 search results - page 86 / 126 » Modular Concurrency - A New Approach to Manageable Software |
VEE
2010
ACM
15 years 4 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
WMTE
2005
IEEE
15 years 3 months ago
2005
IEEE
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
109
click to vote
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
101
click to vote
VLSI
2010
Springer
14 years 4 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...