Search

Your search keyword '"Hash table"' showing total 4,331 results
Start Over Descriptor "Hash table"
4,331 results on '"Hash table"'

208. Stayin’ Alive: Aliveness as an Alternative to Authentication

Author

Anderson, Jonathan, Watson, Robert N. M., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Christianson, Bruce, editor, Malcolm, James, editor, Stajano, Frank, editor, and Anderson, Jonathan, editor

Published
2012
Full Text
View/download PDF

209. RDFS Reasoning on Massively Parallel Hardware

Author

Heino, Norman, Pan, Jeff Z., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cudré-Mauroux, Philippe, editor, Heflin, Jeff, editor, Sirin, Evren, editor, Tudorache, Tania, editor, Euzenat, Jérôme, editor, Hauswirth, Manfred, editor, Parreira, Josiane Xavier, editor, Hendler, Jim, editor, Schreiber, Guus, editor, Bernstein, Abraham, editor, and Blomqvist, Eva, editor

Published
2012
Full Text
View/download PDF

210. SipHash: A Fast Short-Input PRF

Author

Aumasson, Jean-Philippe, Bernstein, Daniel J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Galbraith, Steven, editor, and Nandi, Mridul, editor

Published
2012
Full Text
View/download PDF

211. Cache-Oblivious Dictionaries and Multimaps with Negligible Failure Probability

Author

Goodrich, Michael T., Hirschberg, Daniel S., Mitzenmacher, Michael, Thaler, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Even, Guy, editor, and Rawitz, Dror, editor

Published
2012
Full Text
View/download PDF

212. A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Author

Bouchou, Béatrice, Halfeld-Ferrari, Mirian, Lima, Maria Adriana Vidigal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hameurlain, Abdelkader, editor, Küng, Josef, editor, Wagner, Roland, editor, Liddle, Stephen W., editor, Schewe, Klaus-Dieter, editor, and Zhou, Xiaofang, editor

Published
2012
Full Text
View/download PDF

213. Predictive Line Queries for Traffic Prediction

Author

Heendaliya, Lasanthi, Lin, Dan, Hurson, Ali, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hameurlain, Abdelkader, editor, Küng, Josef, editor, Wagner, Roland, editor, Liddle, Stephen W., editor, Schewe, Klaus-Dieter, editor, and Zhou, Xiaofang, editor

Published
2012
Full Text
View/download PDF

214. Efficient Mining of Repetitions in Large-Scale TV Streams with Product Quantization Hashing

Author

Yuan, Jiangbo, Gravier, Guillaume, Campion, Sébastien, Liu, Xiuwen, Jégou, Hervé, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fusiello, Andrea, editor, Murino, Vittorio, editor, and Cucchiara, Rita, editor

Published
2012
Full Text
View/download PDF

215. A Convolutional Treelets Binary Feature Approach to Fast Keypoint Recognition

Author

Wu, Chenxia, Zhu, Jianke, Zhang, Jiemi, Chen, Chun, Cai, Deng, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fitzgibbon, Andrew, editor, Lazebnik, Svetlana, editor, Perona, Pietro, editor, Sato, Yoichi, editor, and Schmid, Cordelia, editor

Published
2012
Full Text
View/download PDF

216. Fast Near Neighbor Search in High-Dimensional Binary Data

Author

Shrivastava, Anshumali, Li, Ping, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Flach, Peter A., editor, De Bie, Tijl, editor, and Cristianini, Nello, editor

Published
2012
Full Text
View/download PDF

217. Multi-core Reachability for Timed Automata

Author

Dalsgaard, Andreas E., Laarman, Alfons, Larsen, Kim G., Olesen, Mads Chr., van de Pol, Jaco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jurdziński, Marcin, editor, and Ničković, Dejan, editor

Published
2012
Full Text
View/download PDF

218. Large Scale Sketch Based Image Retrieval Using Patch Hashing

Author

Bozas, Konstantinos, Izquierdo, Ebroul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bebis, George, editor, Boyle, Richard, editor, Parvin, Bahram, editor, Koracin, Darko, editor, Fowlkes, Charless, editor, Wang, Sen, editor, Choi, Min-Hyung, editor, Mantler, Stephan, editor, Schulze, Jürgen, editor, Acevedo, Daniel, editor, Mueller, Klaus, editor, and Papka, Michael, editor

Published
2012
Full Text
View/download PDF

219. Fast Phylogenetic Tree Reconstruction Using Locality-Sensitive Hashing

Author

Brown, Daniel G., Truszkowski, Jakub, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Istrail, Sorin, editor, Pevzner, Pavel, editor, Waterman, Michael S., editor, Raphael, Ben, editor, and Tang, Jijun, editor

Published
2012
Full Text
View/download PDF

220. Improved Distance Oracles and Spanners for Vertex-Labeled Graphs

Author

Chechik, Shiri, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Epstein, Leah, editor, and Ferragina, Paolo, editor

Published
2012
Full Text
View/download PDF

221. Vectorized Algorithms for Quadtree Construction and Descent

Author

Marinho, Eraldo P., Baldassin, Alexandro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Xiang, Yang, editor, Stojmenovic, Ivan, editor, Apduhan, Bernady O., editor, Wang, Guojun, editor, Nakano, Koji, editor, and Zomaya, Albert, editor

Published
2012
Full Text
View/download PDF

222. Parallel Model Checking Using Abstraction

Author

Burns, Ethan, Zhou, Rong, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Donaldson, Alastair, editor, and Parker, David, editor

Published
2012
Full Text
View/download PDF

223. Smaller Footprint for Java Collections

Author

Gil, Joseph, Shimron, Yuval, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Noble, James, editor

Published
2012
Full Text
View/download PDF

224. A Fast Algorithm for Computing the Quartet Distance for Large Sets of Evolutionary Trees

Author

Crosby, Ralph W., Williams, Tiffani L., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Istrail, Sorin, editor, Pevzner, Pavel, editor, Waterman, Michael S., editor, Bleris, Leonidas, editor, Măndoiu, Ion, editor, Schwartz, Russell, editor, and Wang, Jianxin, editor

Published
2012
Full Text
View/download PDF

225. On the Vulnerability of Hardware Hash Tables to Sophisticated Attacks

Author

Ben-Porat, Udi, Bremler-Barr, Anat, Levy, Hanoch, Plattner, Bernhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bestak, Robert, editor, Kencl, Lukas, editor, Li, Li Erran, editor, Widmer, Joerg, editor, and Yin, Hao, editor

Published
2012
Full Text
View/download PDF

226. VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata

Author

Lengál, Ondřej, Šimáček, Jiří, Vojnar, Tomáš, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Flanagan, Cormac, editor, and König, Barbara, editor

Published
2012
Full Text
View/download PDF

227. A Parallel Compact Hash Table

Author

van der Vegt, Steven, Laarman, Alfons, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kotásek, Zdeněk, editor, Bouda, Jan, editor, Černá, Ivana, editor, Sekanina, Lukáš, editor, Vojnar, Tomáš, editor, and Antoš, David, editor

Published
2012
Full Text
View/download PDF

232. Type Internals

Author

Goldshtein, Sasha, Zurbalev, Dima, Flatow, Ido, Goldshtein, Sasha, Zurbalev, Dima, and Flatow, Ido

Published
2012
Full Text
View/download PDF

234. Short-Read Mapping

Author

Ribeca, Paolo, Rodríguez-Ezpeleta, Naiara, editor, Hackenberg, Michael, editor, and Aransay, Ana M., editor

Published
2012
Full Text
View/download PDF

236. A Secure Searchable Encryption Framework for Privacy-Critical Cloud Storage Services

Author

Jorge Guajardo Merchan, Thang Hoang, and Attila A. Yavuz

Subjects
021110 strategic, defence & security studies, Information Systems and Management, Computer Networks and Communications, business.industry, Computer science, Distributed computing, 0211 other engineering and technologies, 020206 networking & telecommunications, Cloud computing, Incidence matrix, 02 engineering and technology, Encryption, Data structure, Hash table, Computer Science Applications, Symmetric-key algorithm, Hardware and Architecture, Information leakage, 0202 electrical engineering, electronic engineering, information engineering, business, Cloud storage
Abstract

Searchable encryption has received a significant attention from the research community with various constructions being proposed, each achieving asymptotically optimal complexity for specific metrics (e.g., search, update). Despite their elegance, the recent attacks and deployment efforts have shown that the optimal asymptotic complexity might not always imply practical performance, especially if the application demands a high privacy. In this article, we introduce a novel Dynamic Searchable Symmetric Encryption (DSSE) framework called Incidence Matrix (IM)-DSSE, which achieves a high level of privacy, efficient search/update, and low client storage with actual deployments on real cloud settings. We harness an incidence matrix along with two hash tables to create an encrypted index, on which both search and update operations can be performed effectively with minimal information leakage. This simple set of data structures surprisingly offers a high level of DSSE security while achieving practical performance. Specifically, IM-DSSE achieves forward-privacy, backward-privacy and size-obliviousness simultaneously. We also create several DSSE variants, each offering different trade-offs that are suitable for different cloud applications and infrastructures. We fully implemented our framework and evaluated its performance on a real cloud system (Amazon EC2). We have released IM-DSSE as an open-source library for wide development and adaptation.

Published
2021

237. Intra and inter-flow link aggregation in SDN

Author

Antonio A. F. Loureiro, Ronaldo Resende Rocha Junior, Luiz F. M. Vieira, and Marcos A. M. Vieira

Subjects
Packet switching, Traffic analysis, Computer science, business.industry, Bandwidth (computing), Throughput, Electrical and Electronic Engineering, Unavailability, business, Hash table, Link aggregation, Data transmission, Computer network
Abstract

Link saturation is a problem in computer networks. We propose a link aggregation solution that is robust and solves this problem. The approach consists of creating a virtual link by combining multiple physical interfaces, summing up their bandwidth. Besides increasing the data transmission throughput, this type of solution enables a fast and clear repair in the case of link unavailability. Since Software-Defined Networking usage is increasing daily in business scenarios, this work demonstrates a way to create link aggregation in such situations. This led to the improvement of services availability, among many advantages. To achieve that, we defined and implemented a system with self-adaptive link aggregation. We study the intra-flow and inter-flow link aggregation. To evaluate the implementation, we created three algorithms under different conditions: Virtual Round-Robin, Traffic Analysis, and Hash Table. We evaluated the three algorithms in real-world and virtual scenarios. We used the Ryu controller and, for packet switching, the OVS (Open vSwitch) and BPFabric. Virtual Round-Robin achieved 95% of fairness and Hash Table provided higher throughput.

Published
2021

238. Hardware Acceleration of Hash Operations in Modern Microprocessors

Author

Abbas Fairouz, Sunil P. Khatri, Viacheslav V. Fedorov, and Monther Abusultan

Subjects
Speedup, Computer science, business.industry, Circuit design, Hash function, Parallel computing, Hash table, Theoretical Computer Science, Microarchitecture, law.invention, Microprocessor, Software, Computational Theory and Mathematics, Hardware and Architecture, law, Hardware acceleration, business
Abstract

Modern microprocessors contain several special function units (SFUs) such as specialized arithmetic units, cryptographic processors, etc. In recent times, applications such as cloud computing, web-based search engines, and network applications are widely used, and place new demands on the microprocessor. Hashing is a key algorithm that is extensively used in such applications. Hashing can reduce the complexity of search and lookup from O( $N$ N ) to O( $N/n$ N / n ), where $n$ n bins are used. Hashing is typically performed in software. Thus, implementing a hardware-based hash unit on a modern microprocessor would potentially increase performance significantly. In this article, we propose a novel hardware hash unit (HU) design for use in modern microprocessors, at the microarchitecture level and at the circuit level. First, we present the design of the HU at the microarchitecture level. We simulate the HU to compare its performance with a software-based hash implementation. We demonstrate a significant speedup (up to 15×) for the HU. Furthermore, the performance scales elegantly with increasing database size and application diversity, without increasing the hardware cost. Second, we present the circuit design of the HU for use in modern microprocessors, using a 45nm technology. Our proposed hardware hash unit is based on the use of a content-addressable memory (CAM) to implement each bin of the hash table. We simulate the HU circuit and compare it with a traditional CAM design. We demonstrate an average power reduction of 5.48× using the HU over the traditional CAM. Also, we show that the HU can operate at a maximum frequency of 1.39 $GHz$ G H z (after accounting for process, voltage and temperature (PVT) variations and accounting for wiring parasitics). Furthermore, we present the delay, power and area trade-offs of the HU design with varying hash table sizes.

Published
2021

239. On the implementation of memory reclamation methods in a lock-free hash trie design

Author

Pedro Moreno, Miguel Areias, and Ricardo Rocha

Subjects
Theoretical computer science, Record locking, Computer Networks and Communications, Computer science, Hash function, 020206 networking & telecommunications, 02 engineering and technology, Data structure, Hash table, Theoretical Computer Science, Artificial Intelligence, Hardware and Architecture, Hash trie, Trie, Data_FILES, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), Non-blocking algorithm, 020201 artificial intelligence & image processing, Software
Abstract

Hash tries are a trie-based data structure with nearly ideal characteristics for the implementation of hash maps. Starting from a particular lock-free hash map data structure, named Lock-Free Hash Tries, we focus on solving the problem of memory reclamation without losing the lock-freedom property. To the best of our knowledge, outside garbage collected environments, there is no current implementation of hash maps that is able to reclaim memory in a lock-free manner. To achieve this goal, we propose an approach for memory reclamation specific to Lock-Free Hash Tries that explores the characteristics of its structure in order to achieve efficient memory reclamation with low and well-defined memory bounds. We present and discuss in detail the key algorithms required to easily reproduce our implementation by others. Experimental results show that our approach obtains better results when compared with other state-of-the-art memory reclamation methods and provides a competitive and scalable hash map implementation, if compared to lock-based implementations.

Published
2021

245. ANAPSID: An Adaptive Query Processing Engine for SPARQL Endpoints

Author

Acosta, Maribel, Vidal, Maria-Esther, Lampo, Tomas, Castillo, Julio, Ruckhaus, Edna, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Aroyo, Lora, editor, Welty, Chris, editor, Alani, Harith, editor, Taylor, Jamie, editor, Bernstein, Abraham, editor, Kagal, Lalana, editor, Noy, Natasha, editor, and Blomqvist, Eva, editor

Published
2011
Full Text
View/download PDF

246. A Generic Parallel Collection Framework

Author

Prokopec, Aleksandar, Bagwell, Phil, Rompf, Tiark, Odersky, Martin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jeannot, Emmanuel, editor, Namyst, Raymond, editor, and Roman, Jean, editor

Published
2011
Full Text
View/download PDF

247. Optimizing Predictive Queries on Moving Objects under Road-Network Constraints

Author

Heendaliya, Lasanthi, Lin, Dan, Hurson, Ali, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hameurlain, Abdelkader, editor, Liddle, Stephen W., editor, Schewe, Klaus-Dieter, editor, and Zhou, Xiaofang, editor

Published
2011
Full Text
View/download PDF

248. Worlds: Controlling the Scope of Side Effects

Author

Warth, Alessandro, Ohshima, Yoshiki, Kaehler, Ted, Kay, Alan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Mezini, Mira, editor

Published
2011
Full Text
View/download PDF

249. Parallel Recursive State Compression for Free

Author

Laarman, Alfons, van de Pol, Jaco, Weber, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Groce, Alex, editor, and Musuvathi, Madanlal, editor

Published
2011
Full Text
View/download PDF

250. μZ– An Efficient Engine for Fixed Points with Constraints

Author

Hoder, Kryštof, Bjørner, Nikolaj, de Moura, Leonardo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gopalakrishnan, Ganesh, editor, and Qadeer, Shaz, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results