2635 search results - page 231 / 527 » Computing multihomogeneous resultants using straight-line pr... |
184
click to vote
HASKELL
2006
ACM
16 years 12 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
167
click to vote
SC
2004
ACM
15 years 12 months ago
2004
ACM
Previous experiments with high-performance Java were initially disappointing. After several years of optimization, this paper investigates the current suitability of such object-o...
155
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
170
click to vote
ISORC
2008
IEEE
16 years 25 days ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
171
click to vote
ETS
2009
IEEE
15 years 4 months ago
2009
IEEE
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...