1445 search results - page 141 / 289 » Uniformly Hard Languages |
147
click to vote
SE
2010
15 years 5 months ago
2010
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
137
click to vote
PPNA
2011
14 years 7 months ago
2011
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...
136
Voted
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
133
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
117
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...