5900 search results - page 49 / 1180 » Dependable Systems |
132
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
243
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
144
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
113
Voted
HICSS
2010
IEEE
15 years 9 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
130
Voted
ICPP
2007
IEEE
15 years 9 months ago
2007
IEEE
There has recently been increasing interests in using system virtualization to improve the dependability of HPC cluster systems. However, it is not cost-free and may come with som...