Sciweavers

4516 search results - page 701 / 904
» Data Structures in the Design of Interfaces
Sort
View
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
15 years 9 months ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft
154
Voted
IWDC
2001
Springer
210views Communications» more  IWDC 2001»
15 years 9 months ago
Access Control Protocols for Interconnected WDM Rings in the DAVID Metro Network
DAVID (Data And Voice Integration over D-WDM) is a research project sponsored by the European Community aimed at the design of an optical packet-switched network for the transport ...
Andrea Bianco, Giulio Galante, Emilio Leonardi, Fa...
MLDM
2001
Springer
15 years 9 months ago
Local Learning Framework for Recognition of Lowercase Handwritten Characters
Abstract. This paper proposes a general local learning framework to effectively alleviate the complexities of classifier design by means of “divide and conquer” principle and ...
Jian-xiong Dong, Adam Krzyzak, Ching Y. Suen
135
Voted
ISSAC
1994
Springer
165views Mathematics» more  ISSAC 1994»
15 years 8 months ago
Constructing Permutation Representations for Large Matrix Groups
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
Gene Cooperman, Larry Finkelstein, Bryant W. York,...
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...