77 search results - page 15 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
VIS
2006
IEEE
2006
IEEE
Hub-based Simulation and Graphics Hardware Accelerated Visualization for Nanotechnology Applications
14 years 6 months ago
The Network for Computational Nanotechnology (NCN) has developed a science gateway at nanoHUB.org for nanotechnology education and research. Remote users can browse through online...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
DEXA
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Bitmap indices are popular multi-dimensional data structures for accessing read-mostly data such as data warehouse (DW) applications, decision support systems (DSS) and o...
GLVLSI
2007
IEEE
13 years 8 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
PAMI
2011
12 years 12 months ago
2011
—The problem of matching a forensic sketch to a gallery of mug shot images is addressed in this paper. Previous research in sketch matching only offered solutions to matching hig...