139 search results - page 12 / 28 » A Novel Universal Sequencer Hardware |
186
click to vote
CARDIS
2008
Springer
15 years 8 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
151
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
133
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
137
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
153
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a novel resource binding technique for use in multiple-wordlength systems implemented in FPGAs. It is demonstrated that the multiple-wordlength binding problem...