Sciweavers

2225 search results - page 37 / 445
» Logical Structures in the Lexicon
Sort
View
INFOCOM
2009
IEEE
16 years 1 days ago
Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
Daisuke Fukuchi, Christian Sommer 0002, Yuichi Sei...
CONCUR
2009
Springer
15 years 12 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
ISVLSI
2002
IEEE
84views VLSI» more  ISVLSI 2002»
15 years 10 months ago
Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation
Markus Wedler, Dominik Stoffel, Wolfgang Kunz