2297 search results - page 12 / 460 » Production of Large Computer Programs |
DSN
2011
IEEE
12 years 7 months ago
2011
IEEE
—We present an online, scalable method for inferring the interactions among the components of large production sys
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
To be competitive, Enterprises are collecting and analyzing increasingly large amount of data in order to derive business insights. However, there are at least two challenges to m...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Pair programming is a programming technique in which two programmers use one computer to work together on the same task. There is an ongoing debate over the value of pair programm...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
MFPS
1991
13 years 11 months ago
1991
The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows the represention of a l...