1204 search results - page 120 / 241 » Hybrid Probabilistic Programs |
102
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
106
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...
124
click to vote
JSAT
2006
15 years 21 days ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
102
Voted
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...
112
Voted
FCCM
2003
IEEE
15 years 6 months ago
2003
IEEE
Hybrid architectures, which are composed of a conventional processor closely coupled with reconfigurable logic, seem to combine the advantages of both types of hardware. They pres...