1754 search results - page 206 / 351 » What's new in informatics |
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Suppose you buy a new laptop and, simply because you like it so much, you recommend it to friends, encouraging them to purchase it as well. What would be an adequate price for the...
CISIS
2010
IEEE
2010
IEEE
Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensive Systems
14 years 4 months ago
—Ultra large scale (ULS) systems are future software intensive systems that have billions of lines of code, composed of heterogeneous, changing, inconsistent and independent elem...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
The Web is constantly changing, but most tools used to access Web content deal only with what can be captured at a single instance in time. As a result, Web users may not have a g...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...