top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Theoretical Computer Science [electronic resource] : 5th GI-Conference Karlsruhe, March 23-25, 1981 / by P. Deussen
Theoretical Computer Science [electronic resource] : 5th GI-Conference Karlsruhe, March 23-25, 1981 / by P. Deussen
Creatore [Deussen, P.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Logics and Meanings of Programs
ISBN 9783540105763
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7353865
[Deussen, P.]  
Software
Lo trovi qui: University of Chicago
Genetic Programming [electronic resource] : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings / by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon
Genetic Programming [electronic resource] : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings / by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon
Creatore [Poli, Riccardo]
Accesso persona Banzhaf, Wolfgang
Fogarty, Terence C.
Langdon, William B.
Miller, Julian
Nordin, Peter
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Computer Appl. in Life Sciences
Pattern Recognition
Programming Techniques
ISBN 9783540673392
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355986
[Poli, Riccardo]  
Software
Lo trovi qui: University of Chicago
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / by Bernhard Ganter, Guy W. Mineau
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / by Bernhard Ganter, Guy W. Mineau
Creatore [Ganter, Bernhard]
Accesso persona Mineau, Guy W.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
ISBN 9783540678595
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7356015
[Ganter, Bernhard]  
Software
Lo trovi qui: University of Chicago
High Performance Computing û HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna
High Performance Computing û HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna
Creatore [Bader, David A. 1969-]
Accesso persona Parashar, Manish
Prasanna Kumar, V. K.
Sridhar, Varadarajan
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Systems Organization and Communication Networks
Mathematics of Computing
Software Engineering/Programming and Operating Systems
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-6681313
[Bader, David A. 1969-]  
Software
Lo trovi qui: University of Chicago
Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron
Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron
Creatore [Peters, James F.]
Accesso persona Skowron, Andrzej
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Database Management
Image Processing and Computer Vision
Mathematical Logic and Formal Languages
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-6681439
[Peters, James F.]  
Software
Lo trovi qui: University of Chicago
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part III / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part III / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).
Creatore [ICONIP (Conference) (18th : 2011 : Shanghai, China)]
Estensione 1 online resource (xxii, 790 pages).
Accesso persona Lu, Bao-Liang
Zhang, Liqing, Ph. D.
Kwok, James, Dr
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data mining
Artificial intelligence
Computer simulation
Computer vision
Optical pattern recognition
Computation by Abstract Devices
Artificial Intelligence (incl. Robotics)
Pattern Recognition
Data Mining and Knowledge Discovery
Simulation and Modeling
Image Processing and Computer Vision
ISBN 9783642249655
3642249655
9783642249648
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076237
[ICONIP (Conference) (18th : 2011 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in artificial intelligence : 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011, proceedings / Jose A. Lozano, José A. Gámez, José A. Moreno (eds.).
Advances in artificial intelligence : 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011, proceedings / Jose A. Lozano, José A. Gámez, José A. Moreno (eds.).
Creatore [Asociación Española de Inteligencia Artificial.Conferencia (14th : 2011 : La Laguna, Spain)]
Estensione 1 online resource (xv, 506 pages) : illustrations.
Accesso persona Lozano, José A., 1968-
Gámez, José A.
Moreno, José A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Information storage and retrieval systems
Artificial intelligence
Optical pattern recognition
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
Pattern Recognition
ISBN 9783642252747
3642252745
9783642252730
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076259
[Asociación Española de Inteligencia Artificial.Conferencia (14th : 2011 : La Laguna, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Swarm, evolutionary, and memetic computing : second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, proceedings. Part I / Bijaya Ketan Panigrahi [and others] (eds.).
Swarm, evolutionary, and memetic computing : second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, proceedings. Part I / Bijaya Ketan Panigrahi [and others] (eds.).
Creatore [International Conference on Swarm, Evolutionary and Memetic Computing (2nd : 2011 : Visakhapatnam, India)]
Estensione 1 online resource (xxii, 754 pages).
Accesso persona Panigrahi, Bijaya Ketan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Optical pattern recognition
Computation by Abstract Devices
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Pattern Recognition
Programming Techniques
ISBN 9783642271724
3642271723
9783642271717
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076358
[International Conference on Swarm, Evolutionary and Memetic Computing (2nd : 2011 : Visakhapatnam, India)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Internet and network economics : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011, proceedings / Ning Chen, Edith Elkind, Elias Koutsoupias (eds.).
Internet and network economics : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011, proceedings / Ning Chen, Edith Elkind, Elias Koutsoupias (eds.).
Creatore [WINE 2011 (2011 : Singapore)]
Estensione 1 online resource (xii, 420 pages).
Accesso persona Chen, Ning, 1979-
Elkind, Edith, 1976-
Koutsoupias, Elias
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Computation by Abstract Devices
ISBN 9783642255106
3642255108
3642255094
9783642255090
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076382
[WINE 2011 (2011 : Singapore)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Reconfigurable computing : architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / Oliver C.S. Choy [and others] (eds.).
Reconfigurable computing : architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / Oliver C.S. Choy [and others] (eds.).
Creatore [ARC (Symposium) (8th : 2012 : Hong Kong, China)]
Estensione 1 online resource (xiv, 386 pages).
Accesso persona Choy, Oliver C. S.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Programming Techniques
Simulation and Modeling
ISBN 9783642283659
3642283659
9783642283642
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automating Reconfiguration Chain Generation for SRL-Based Run-Time Reconfiguration / Karel Heyse, Brahim Al Farisi, Karel Bruneel and Dirk Stroobandt -- Architecture-Aware Reconfiguration-Centric Floorplanning for Partial Reconfiguration / Kizheppatt Vipin and Suhaib A. Fahmy -- Domain-Specific Language and Compiler for Stencil Computation on FPGA-Based Systolic Computational-Memory Array / Wang Luzhou, Kentaro Sano and Satoru Yamamoto -- Exploiting Both Pipelining and Data Parallelism with SIMD Reconfigurable Architecture / Yongjoo Kim, Jongeun Lee, Jinyong Lee, Toan X. Mai and Ingoo Heo, et al. -- Table-Based Division by Small Integer Constants / Florent de Dinechin and Laurent-Stéphane Didier -- Heterogeneous Systems for Energy Efficient Scientific Computing / Qiang Liu and Wayne Luk -- The Q2 Profiling Framework: Driving Application Mapping for Heterogeneous Reconfigurable Platforms / S. Arash Ostadzadeh, Roel Meeuws, Imran Ashraf, Carlo Galuzzi and Koen Bertels -- PPMC: A Programmable Pattern Based Memory Controller / Tassadaq Hussain, Muhammad Shafiq, Miquel Pericàs, Nacho Navarro and Eduard Ayguadé -- A Run-Time Task Migration Scheme for an Adjustable Issue-Slots Multi-core Processor / Fakhar Anjam, Quan Kong, Roel Seedorf and Stephan Wong -- Boosting Single Thread Performance in Mobile Processors via Reconfigurable Acceleration / Geoffrey Ndu and Jim Garside -- Complexity Analysis of Finite Field Digit Serial Multipliers on FPGAs / Gang Zhou, Li Li and Harald Michalik.
ScalableCore System: A Scalable Many-Core Simulator by Employing over 100 FPGAs / Shinya Takamaeda-Yamazaki, Shintaro Sano, Yoshito Sakaguchi, Naoki Fujieda and Kenji Kise -- Scalable Memory Hierarchies for Embedded Manycore Systems / Sen Ma, Miaoqing Huang, Eugene Cartwright and David Andrews -- Triple Module Redundancy of a Laser Array Driver Circuit for Optically Reconfigurable Gate Arrays / Takahiro Watanabe and Minoru Watanabe -- A Routing Architecture for FPGAs with Dual-VT Switch Box and Logic Clusters / Wei Ting Loke and Yajun Ha -- Multi-level Customisation Framework for Curve Based Monte Carlo Financial Simulations / Qiwei Jin, Diwei Dong, Anson H.T. Tse, Gary C.T. Chow and David B. Thomas, et al. -- A Low-Cost and High-Performance Virus Scanning Engine Using a Binary CAM Emulator and an MPU / Hiroki Nakahara, Tsutomu Sasao and Munehiro Matsuura -- Cost Effective Implementation of Flux Limiter Functions Using Partial Reconfiguration / Mohamad Sofian Abu Talip, Takayuki Akamine, Yasunori Osana, Naoyuki Fujita and Hideharu Amano -- Parallel Tempering MCMC Acceleration Using Reconfigurable Hardware / Grigorios Mingas and Christos-Savvas Bouganis -- A High Throughput FPGA-Based Implementation of the Lanczos Method for the Symmetric Extremal Eigenvalue Problem / Abid Rafique, Nachiket Kapre and George A. Constantinides -- Optimising Performance of Quadrature Methods with Reduced Precision / Anson H.T. Tse, Gary C.T. Chow, Qiwei Jin, David B. Thomas and Wayne Luk -- Teaching Hardware/Software Codesign on a Reconfigurable Computing Platform / Markus Weinhardt.
Securely Sealing Multi-FPGA Systems / Tim Güneysu, Igor Markov and André Weimerskirch -- FPGA Paranoia: Testing Numerical Properties of FPGA Floating Point IP-Cores / Xuan You Tan, David Boland and George Constantinides -- High Performance Reconfigurable Architecture for Double Precision Floating Point Division / Manish Kumar Jaiswal and Ray C.C. Cheung -- A Modular-Based Assembly Framework for Autonomous Reconfigurable Systems / Tannous Frangieh, Richard Stroop, Peter Athanas and Teresa Cervero -- Constructing Cluster of Simple FPGA Boards for Cryptologic Computations / Yarkin Doröz and Erkay Savaş -- Reconfigurable Multicore Architecture for Dynamic Processor Reallocation / Annie Avakian, Natwar Agrawal and Ranga Vemuri -- Efficient Communication for FPGA Clusters / Stewart Denholm, Kuen Hung Tsoi, Peter Pietzuch and Wayne Luk -- Performance Analysis of Reconfigurable Processors Using MVA Analysis / Ehsan Zadkhosh, Sepide Fatahi and Mahmood Ahmadi -- PDPR: Fine-Grained Placement for Dynamic Partially Reconfigurable FPGAs / Ruining He, Guoqiang Liang, Yuchun Ma, Yu Wang and Jinian Bian -- A Connection Router for the Dynamic Reconfiguration of FPGAs / Elias Vansteenkiste, Karel Bruneel and Dirk Stroobandt -- R-NoC: An Efficient Packet-Switched Reconfigurable Networks-on-Chip / Hongbing Fan, Yue-Ang Chen and Yu-Liang Wu -- Novel Arithmetic Architecture for High Performance Implementation of SHA-3 Finalist Keccak on FPGA Platforms / Kashif Latif, M. Muzaffar Rao, Athar Mahboob and Arshad Aziz -- CRAIS: A Crossbar Based Adaptive Interconnection Scheme / Chao Wang, Xi Li, Xuehai Zhou and Xiaojing Feng.
Record Nr. UCHICAGO-11076761
[ARC (Symposium) (8th : 2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago