1974 search results - page 158 / 395 » A Library System for Small-Scale Library |
104
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
113
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...
105
click to vote
SARA
2009
Springer
15 years 8 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
To use heterogeneous and geographically distributed resources as a platform for parallel visualization is an intriguing topic of research. This is because of the immense potential...
136
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...