17983 search results - page 119 / 3597 » Set Types and Applications |
175
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Systematic reviews are one of the key building blocks of evidence-based software engineering. Current guidelines for such reviews are, for a large part, based on standard meta-ana...
194
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
154
click to vote
ESA
2010
Springer
15 years 7 months ago
2010
Springer
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...
169
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
159
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...