Sciweavers

7961 search results - page 1189 / 1593
» Input-Output Model Programs
Sort
View
ISPASS
2010
IEEE
16 years 7 hour ago
Demystifying GPU microarchitecture through microbenchmarking
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...
Henry Wong, Misel-Myrto Papadopoulou, Maryam Sadoo...
FOSSACS
2010
Springer
15 years 12 months ago
Solvability in Resource Lambda-Calculus
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
Michele Pagani, Simona Ronchi Della Rocca
DASFAA
2009
IEEE
152views Database» more  DASFAA 2009»
15 years 12 months ago
Predicting Timing Failures in Web Services
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
ICSE
2009
IEEE-ACM
15 years 12 months ago
JUnitMX - A change-aware unit testing tool
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
Jan Wloka, Barbara G. Ryder, Frank Tip
CLUSTER
2009
IEEE
15 years 12 months ago
GPU clusters for high-performance computing
—Large-scale GPU clusters are gaining popularity in the scientific computing community. However, their deployment and production use are associated with a number of new challenge...
Volodymyr V. Kindratenko, Jeremy Enos, Guochun Shi...
« Prev « First page 1189 / 1593 Last » Next »