21430 search results - page 3767 / 4286 » Abstract Effective Models |
176
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A w...
182
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
171
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
167
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....
191
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Recent breakthroughs in circuit and process technology have enabled new usage models for non-volatile memory technologies such as Flash and phase change RAM (PCRAM) in t...