Sciweavers

429 search results - page 20 / 86
» Symbolic Computation Software Composability
Sort
View
IJHPCA
2002
101views more  IJHPCA 2002»
15 years 3 months ago
SCALA: A Performance System For Scalable Computing
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
Xian-He Sun, Thomas Fahringer, Mario Pantano
ISSAC
2007
Springer
106views Mathematics» more  ISSAC 2007»
15 years 10 months ago
Numerical techniques for computing the inertia of products of matrices of rational numbers
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
John P. May, B. David Saunders, David Harlan Wood
151
Voted
EUROSYS
2010
ACM
16 years 29 days ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
118
Voted
ICSOC
2007
Springer
15 years 10 months ago
Service Selection Based on Non-functional Properties
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
CORR
2007
Springer
132views Education» more  CORR 2007»
15 years 3 months ago
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
Areski Flissi, Philippe Merle