2642 search results - page 379 / 529 » Merge-by-Wire: Algorithms and System Support |
IWANN
1995
Springer
14 years 25 days ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
LICS
1989
IEEE
14 years 23 days ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
CASES
2008
ACM
13 years 11 months ago
2008
ACM
While customizable processors aim at combining the flexibility of general purpose processors with the speed and power advantages of custom circuits, commercially available process...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Duplicate detection determines different representations of realworld objects in a database. Recent research has considered the use of relationships among object representations t...
ERSA
2008
13 years 10 months ago
2008
Projected computational requirements for future space missions are outpacing technologies and trends in conventional embedded microprocessors. In order to meet the necessary levels...