3584 search results - page 4 / 717 » Parallel Computing of Thermoelasticity Problems |
95
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
95
Voted
COR
2010
14 years 12 months ago
2010
123
Voted
CAP
2010
14 years 9 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
131
Voted
ESIAT
2009
IEEE
15 years 11 days ago
2009
IEEE
Comparing with the rapidly increasing acquiring technology for remotely sensed data, the data processing technologies have been following behind, especially in computing speed and ...
102
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
