Sciweavers

2911 search results - page 507 / 583
» A Logic of Graph Constraints
Sort
View
114
Voted
DAS
2006
Springer
15 years 4 months ago
Offline Handwritten Arabic Character Segmentation with Probabilistic Model
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
Pingping Xiu, Liangrui Peng, Xiaoqing Ding, Hua Wa...
ISORC
2000
IEEE
15 years 4 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
90
Voted
ASPDAC
2005
ACM
89views Hardware» more  ASPDAC 2005»
15 years 2 months ago
Routing track duplication with fine-grained power-gating for FPGA interconnect power reduction
Power has become an increasingly important design constraint for FPGAs in nanometer technologies, and global interconnects should be the focus of FPGA power reduction as they cons...
Yan Lin, Fei Li, Lei He
93
Voted
ASPDAC
2005
ACM
111views Hardware» more  ASPDAC 2005»
15 years 2 months ago
Wave-pipelined on-chip global interconnect
— A novel wave-pipelined global interconnect system is developed for reliable, high throughput, on-chip data communication. We argue that because there is only a single signal pr...
Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
DAC
2005
ACM
15 years 2 months ago
VLIW: a case study of parallelism verification
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Li...