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.
Hybrid metaheuristics [electronic resource] : third international workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006 : proceedings / Francisco Almeida ... [et al.] (eds.).
Hybrid metaheuristics [electronic resource] : third international workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006 : proceedings / Francisco Almeida ... [et al.] (eds.).
Creatore [HM 2006 (2006 : Agaete, Canary Islands)]
Estensione x, 191 p. : ill.
Disciplina 006.3
Accesso persona Almeida, Francisco (Almeida Rodríguez)
Accesso ente ProQuest (Firm)
ISBN 3540463844 (pbk. : alk. paper)
9783540463849 (pbk. : alk. paper)
9783540463856 (e-book)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a12478900
[HM 2006 (2006 : Agaete, Canary Islands)]  
Risorse elettroniche
Lo trovi qui: Stanford University
Arithmetic of finite fields [electronic resource] : 2nd international workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 : proceedings / Joachim von zur Gathen, José Luis Imaña, Çetin Kaya Koç (eds.).
Arithmetic of finite fields [electronic resource] : 2nd international workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 : proceedings / Joachim von zur Gathen, José Luis Imaña, Çetin Kaya Koç (eds.).
Creatore [WAIFI (2nd : 2008 : Siena, Italy)]
Estensione x, 204 p. : ill.
Accesso persona Gathen, Joachim von zur.
Imaña, José Luis
Koç, Çetin Kaya
Accesso ente ProQuest (Firm)
ISBN 3540694994
3540694986 (softcover alk. paper)
9783540694984
9783540694991 (e-book)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a12478928
[WAIFI (2nd : 2008 : Siena, Italy)]  
Risorse elettroniche
Lo trovi qui: Stanford University
Frontiers in algorithmics [electronic resource] : second international workshop, FAW 2008, Changsha, China, June 19-21, 2008, proceedings / Franco P. Preparata, Xiaodong Wu, Jianping Yin (eds.).
Frontiers in algorithmics [electronic resource] : second international workshop, FAW 2008, Changsha, China, June 19-21, 2008, proceedings / Franco P. Preparata, Xiaodong Wu, Jianping Yin (eds.).
Creatore [FAW 2008 (2008 : Changsha Shi, China)]
Estensione xi, 350 p. : ill. (some col.).
Accesso persona Preparata, Franco P.
Wu, Xiaodong
Yin, Jianping
Accesso ente ProQuest (Firm)
ISBN 3540693106
9783540693109
9783540693116 (e-book)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a12478988
[FAW 2008 (2008 : Changsha Shi, China)]  
Risorse elettroniche
Lo trovi qui: Stanford University
Approximation, randomization and combinatorial optimization [electronic resource] : algorithms and techniques : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006, and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006 : proceedings / Josep Díaz ... [et al.] (eds.).
Approximation, randomization and combinatorial optimization [electronic resource] : algorithms and techniques : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006, and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006 : proceedings / Josep Díaz ... [et al.] (eds.).
Creatore [International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (9th : 2006 : Barcelona, Spain)]
Estensione xii, 522 p. : ill.
Accesso persona Díaz, J. (Josep), 1950-
Accesso ente ProQuest (Firm)
Accesso convegno International Workshop on Randomization and Computation (10th : 2006 : Barcelona, Spain)
ISBN 3540380442 (pbk.)
9783540380443
9783540380450 (e-book)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a12487736
[International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (9th : 2006 : Barcelona, Spain)]  
Risorse elettroniche
Lo trovi qui: Stanford University
Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (eds.).
Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (eds.).
Creatore [SAMOS 2007 (2007 : Samos, Greece)]
Estensione 1 online resource (xvii, 466 pages) : illustrations
Disciplina 004.2/2
Accesso persona Vassiliadis, Stamatis
Bereković, Mladen
Hämäläinen, Timo D.
Soggetto non controllato computer hardware
systeemanalyse
systems analysis
computerwetenschappen
computer sciences
computernetwerken
computer networks
procesarchitectuur
process architecture
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
ISBN 9783540736257
3540736255
9783540736226
3540736220
Classificazione SS 4800
DAT 260f
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems -- Performance Evaluation of Memory Management Configurations in Linux for an OS-Level Design Space Exploration -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block Cleaning Cost for Flash Memory -- VLSI Architecture for MRF Based Stereo Matching -- Low-Power Twiddle Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time-Constraint-Driven Instruction Scheduler for Post-compiling Optimization of Embedded Code -- Improving TriMedia Cache Performance by Profile Guided Code Reordering -- A Streaming Machine Description and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP-SoCs Via Packing -- Strategies for Compiling ?TC to Novel Chip Multiprocessors -- Image Quantisation on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia Processing -- FPGA Design Methodology for a Wavelet-Based Scalable Video Decoder -- Evaluating Large System-on-Chip on Multi-FPGA Platform -- Design Space Exploration -- Efficiency Measures for Multimedia SOCs -- On-Chip Bus Modeling for Power and Performance Estimation -- A Framework Introducing Model Reversibility in SoC Design Space Exploration -- Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function Unit Pipelines -- A Modular Coprocessor Architecture for Embedded Real-Time Image and Video Signal Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded Processors -- Parallel Memory Architecture for TTA Processor -- A Linear Complexity Algorithm for the Generation of Multiple Input Single Output Instructions of Variable Size -- Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction -- A Study of Energy Saving in Customizable Processors -- SoC for SDR -- Trends in Low Power Handset Software Defined Radio -- Design of a Low Power Pre-synchronization ASIP for Multimode SDR Terminals -- Area Efficient Fully Programmable Baseband Processors -- The Next Generation Challenge for Software Defined Radio -- Design Methodology for Software Radio Systems -- Power Efficient Co-simulation Framework for a Wireless Application Using Platform Based SoC -- A Comparative Study of Different FFT Architectures for Software Defined Radio -- Wireless Sensors -- Design of 100 ?W Wireless Sensor Nodes on Energy Scavengers for Biomedical Monitoring -- Tool-Aided Design and Implementation of Indoor Surveillance Wireless Sensor Network -- System Architecture Modeling of an UWB Receiver for Wireless Sensor Network -- An Embedded Platform with Duty-Cycled Radio and Processing Subsystems for Wireless Sensor Networks -- SensorOS: A New Operating System for Time Critical WSN Applications -- Review of Hardware Architectures for Advanced Encryption Standard Implementations Considering Wireless Sensor Networks -- k ?+? Neigh: An Energy Efficient Topology Control for Wireless Sensor Networks.
Record Nr. STANFORD-a13360721
[SAMOS 2007 (2007 : Samos, Greece)]  
Materiale a stampa
Lo trovi qui: Stanford University
Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings / Juraj Hromkovič [and others] (eds.).
Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings / Juraj Hromkovič [and others] (eds.).
Creatore [SAGA 2007 (2007 : Zurich, Switzerland)]
Estensione 1 online resource (x, 165 pages) : illustrations
Disciplina 518/.1
Accesso persona Hromkovič, Juraj, 1958-
Soggetto non controllato algoritmen
algorithms
computeranalyse
computer analysis
wiskunde
mathematics
waarschijnlijkheid
probability
statistiek
statistics
stochastische processen
stochastic processes
computerwetenschappen
computer sciences
computational science
waarschijnlijkheidstheorie
probability theory
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
ISBN 9783540748717
3540748717
9783540748700
3540748709
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- On Computation and Communication with Small Bias -- Design Strategies for Minimal Perfect Hash Functions -- Hamming, Permutations and Automata -- Probabilistic Techniques in Algorithmic Game Theory -- Randomized Algorithms and Probabilistic Analysis in Wireless Networking -- Contributed Papers -- A First Step Towards Analyzing the Convergence Time in Player-Specific Singleton Congestion Games -- Communication Problems in Random Line-of-Sight Ad-Hoc Radio Networks -- Approximate Discovery of Random Graphs -- A VNS Algorithm for Noisy Problems and Its Application to Project Portfolio Analysis -- Digit Set Randomization in Elliptic Curve Cryptography -- Lower Bounds for Hit-and-Run Direct Search -- An Exponential Gap Between LasVegas and Deterministic Sweeping Finite Automata -- Stochastic Methods for Dynamic OVSF Code Assignment in 3G Networks -- On the Support Size of Stable Strategies in Random Games.
Record Nr. STANFORD-a13360796
[SAGA 2007 (2007 : Zurich, Switzerland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.).
Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.).
Creatore [LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico)]
Estensione 1 online resource (viii, 236 pages) : illustrations
Disciplina 004.2
Accesso persona Bondavalli, Andrea
Brasileiro, Francisco Vilar, 1965-
Rajsbaum, Sergio
Soggetto non controllato ontwerp
design
systemen
systems
systeemanalyse
systems analysis
computerwetenschappen
computer sciences
informatietheorie
information theory
software engineering
gegevensbeheer
data management
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
ISBN 9783540752943
3540752943
9783540752936
3540752935
Classificazione 54.39
004
DAT 260f
DAT 286f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited talks -- Fault-tolerant algorithms -- Software engineering of dependable systems -- Networking and mobile computing -- Experimental dependability evaluation -- Intrusion tolerance and security -- Tutorials -- Panels.
Record Nr. STANFORD-a13360872
[LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico)]  
Materiale a stampa
Lo trovi qui: Stanford University
Membrane computing : 8th international workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 ; revised, selected and invited papers / George Eleftherakis [and others] (eds.).
Membrane computing : 8th international workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 ; revised, selected and invited papers / George Eleftherakis [and others] (eds.).
Creatore [WMC 2007 (2007 : Thessalonikē, Greece)]
Estensione 1 online resource (xi, 452 pages) : illustrations
Disciplina 621.39/1
Accesso persona Eleftherakis, George
Soggetto non controllato bioinformatics
wiskunde
mathematics
simulatiemodellen
simulation models
computerwetenschappen
computer sciences
computational science
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
ISBN 9783540773122
3540773126
9783540773115
3540773118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Matter; Psim: A Computational Platform for Metabolic P Systems; Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata; (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power; The Calculus of Looping Sequences for Modeling Biological Membranes; Membrane Computing in Connex Environment; Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes; On the Reachability Problem in P Systems with Mobile Membranes; Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.
A Hybrid Approach to Modeling Biological SystemsCausality in Membrane Systems; Simulating the Bitonic Sort Using P Systems; On the Number of Agents in P Colonies; Events, Causality, and Concurrency in Membrane Systems; P Systems with String Objects and with Communication by Request; On the Dynamics of PB Systems with Volatile Membranes; A Logarithmic Bound for Solving Subset Sum with P Systems; A Formal Framework for Static (Tissue) P Systems; Conformon-P Systems with Negative Values; Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation.
Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivoSolving Numerical NP-Complete Problems with Spiking Neural P Systems; Towards a Complete Covering of SBML Functionalities; Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P; Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications; On Flip-Flop Membrane Systems with Proteins; Characterizing Membrane Structures Through Multiset Tree Automata.
Record Nr. STANFORD-a13362178
[WMC 2007 (2007 : Thessalonikē, Greece)]  
Materiale a stampa
Lo trovi qui: Stanford University
Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures / Roland Backhouse [and others] (eds.).
Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures / Roland Backhouse [and others] (eds.).
Creatore [SSDGP 2006 (2006 : Nottingham, England)]
Estensione 1 online resource (x, 367 pages) : illustrations
Disciplina 005
Accesso persona Backhouse, Roland C., 1948-
Soggetto non controllato programmeren
programming
computerwetenschappen
computer sciences
gegevensstructuren
data structures
programmeertalen
programming languages
software engineering
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
ISBN 9783540767862
354076786X
9783540767855
3540767851
Classificazione TP311-532
DAT 718f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Datatype-Generic Programming -- Comparing Approaches to Generic Programming in Haskell -- Generic Programming, Now! -- Generic Programming with Dependent Types -- Generic Programming in?mega -- Revealing the X/O Impedance Mismatch.
Record Nr. STANFORD-a13363238
[SSDGP 2006 (2006 : Nottingham, England)]  
Materiale a stampa
Lo trovi qui: Stanford University
Approximation and online algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers / Evripidis Bampis, Martin Skutella (eds.).
Approximation and online algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers / Evripidis Bampis, Martin Skutella (eds.).
Creatore [WAOA 2008 (2008 : Karlesruhe, Germany)]
Estensione 1 online resource (x, 292 pages) : illustrations
Disciplina 005.1
Accesso persona Bampis, Evripidis
Skutella, Martin (Mathematician)
ISBN 9783540939801
3540939806
3540939792
9783540939795
Classificazione SS 4800
DAT 530f
MAT 652f
MAT 410f
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a13365130
[WAOA 2008 (2008 : Karlesruhe, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University