Sciweavers

9974 search results - page 1389 / 1995
» Software Interconnection Models
Sort
View
ISESE
2005
IEEE
16 years 23 days ago
Empirical study design in the area of high-performance computing (HPC)
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
Forrest Shull, Jeffrey Carver, Lorin Hochstein, Vi...
SEFM
2005
IEEE
16 years 23 days ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
OZCHI
2005
ACM
16 years 23 days ago
Making sense of student use of nonverbal cues for intelligent tutoring systems
Many software systems would significantly improve performance if they could interpret the nonverbal cues in their user’s interactions as humans normally do. Currently, Intellige...
Farhad Dadgostar, Hokyoung Ryu, Abdolhossein Sarra...
WOSP
2005
ACM
16 years 22 days ago
A capacity management service for resource pools
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
Jerry Rolia, Ludmila Cherkasova, Martin F. Arlitt,...
ATAL
2005
Springer
16 years 22 days ago
A secure architectural description language for agent systems
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
Haralambos Mouratidis, Manuel Kolp, Stéphan...
« Prev « First page 1389 / 1995 Last » Next »