2635 search results - page 226 / 527 » Computing multihomogeneous resultants using straight-line pr... |
109
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
65
Voted
JDCTA
2008
15 years 21 days ago
2008
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...
186
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
112
Voted
FPGA
1999
ACM
15 years 5 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...