2635 search results - page 231 / 527 » Computing multihomogeneous resultants using straight-line pr... |
122
Voted
HASKELL
2006
ACM
15 years 6 months 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 ...
101
click to vote
SC
2004
ACM
15 years 6 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...
ICSE
2003
IEEE-ACM
16 years 24 days 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...
102
Voted
ISORC
2008
IEEE
15 years 7 months 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 (...
109
click to vote
ETS
2009
IEEE
14 years 10 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...