Sciweavers

3645 search results - page 627 / 729
» Implementing mapping composition
Sort
View
FPL
2000
Springer
96views Hardware» more  FPL 2000»
15 years 6 months ago
Generation of Design Suggestions for Coarse-Grain Reconfigurable Architectures
Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better...
Reiner W. Hartenstein, Michael Herz, Thomas Hoffma...
TPHOL
2000
IEEE
15 years 5 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
DAC
1995
ACM
15 years 5 months ago
A Transformation-Based Approach for Storage Optimization
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
Wei-Kai Cheng, Youn-Long Lin
DEXA
1995
Springer
96views Database» more  DEXA 1995»
15 years 5 months ago
Knowledge Organization for Exploration
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...
Amihai Motro, Sylvie Goullioud
EURODAC
1995
IEEE
202views VHDL» more  EURODAC 1995»
15 years 5 months ago
Hardware-software co-synthesis of fault-tolerant real-time distributed embedded systems
Distributed systems are becoming a popular way of implementing many embedded computing applications, automotive control being a common and important example. Such embedded systems...
Santhanam Srinivasan, Niraj K. Jha