Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lirkov, Ivan
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Margenov, Svetozar, WaΕniewski, Jerzy
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 5910
Θέματα:	Computer science Operating systems (Computers) Computer software Electronic data processing Computer simulation Computer aided design Computer Science Υπολογισμός Programming Techniques Operating Systems Algorithm Analysis and Problem Complexity Simulation and Modeling Computer-Aided Engineering (CAD, CAE) and Design
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-12535-5

Παρόμοια τεκμήρια

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao
Έκδοση: (2006)

Beginning PHP and PostgreSQL 8 From Novice to Professional
ανά: Gilmore, W. Jason
Έκδοση: (2006)

Pro Windows Small Business Server 2003
ανά: Campbell, Tony
Έκδοση: (2006)

System-Level Design Techniques for Energy-Efficient Embedded Systems
ανά: Schmitz, Marcus T.
Έκδοση: (2005)

Beginning Ubuntu Linux
ανά: Raggi, Emilio
Έκδοση: (2010)

Beginning Microsoft Excel 2010
ανά: Katz, Abbbott
Έκδοση: (2010)

Simulation Methods for Reliability and Availability of Complex Systems
ανά: Faulin, Javier
Έκδοση: (2010)

C Compilers for ASIPs Automatic Compiler Generation with LISA
ανά: Hohenauer, Manuel
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav
Έκδοση: (2010)

FPGA Design Best Practices for Team-based Design
ανά: Simpson, Philip
Έκδοση: (2010)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
ανά: Bosio, Alberto
Έκδοση: (2010)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
ανά: Shukla, Sandeep K
Έκδοση: (2010)

Processor and System-on-Chip Simulation
ανά: Leupers, Rainer
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil
Έκδοση: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices
ανά: Girard, Patrick
Έκδοση: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
ανά: Popovici, Katalin
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
ανά: Lin, Youn-Long Steve
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
ανά: Gulati, Kanupriya
Έκδοση: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
ανά: Garg, Rajesh
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results
ανά: Naono, Ken
Έκδοση: (2010)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
ανά: Tajalli, Armin
Έκδοση: (2010)

Operating Systems Concepts
ανά: Peterson, James L., κ.ά.
Έκδοση: (1991)

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15β17, 2006, Shanghai, China
ανά: Wang, Kesheng
Έκδοση: (2006)

Composing Software Components A Software-testing Perspective
ανά: Hamlet, Dick
Έκδοση: (2010)

Digital Design and Implementation with Field Programmable Devices
Έκδοση: (2005)

Assertion-Based Design
ανά: Foster, Harry
Έκδοση: (2005)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash
Έκδοση: (2005)

Innovations in Design & Decision Support Systems in Architecture and Urban Planning
ανά: Leeuwen, Jos P.
Έκδοση: (2006)

Constraint-Based Verification
ανά: Yuan, Jun
Έκδοση: (2006)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh
Έκδοση: (2005)

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

Distributed Network Systems From Concepts to Implementations
ανά: Jia, Weijia
Έκδοση: (2005)

ανά: Madenci, Erdogan
Έκδοση: (2006)

Analysis and Design of Univariate Subdivision Schemes
ανά: Sabin, Malcolm
Έκδοση: (2010)

Practical Grey-box Process Identification Theory and Applications
ανά: Bohlin, Torsten
Έκδοση: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών