3388 search results - page 595 / 678 » Type-theoretic design patterns |
120
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
130
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
129
click to vote
HT
2000
ACM
15 years 7 months ago
2000
ACM
Software components for distance and just-in-time (JIT) learning are an increasingly common method of encouraging reuse and facilitating the development process[58], but no analog...
131
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
The ability of fast similarity search at large scale is of great importance to many Information Retrieval (IR) applications. A promising way to accelerate similarity search is sem...
143
Voted
CC
2001
Springer
15 years 7 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...