Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /

Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kim, Myungchul (Επιμελητής έκδοσης), Chin, Byoungmoon (Επιμελητής έκδοσης), Kang, Sungwon (Επιμελητής έκδοσης), Lee, Danhyung (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2002.
Σειρά:	IFIP International Federation for Information Processing, 69
Θέματα:	Computer science. Microprocessors. Computer communication systems. Software engineering. Computers. Electrical engineering. Computer Science. Computer Communication Networks. Computing Methodologies. Processor Architectures. Software Engineering/Programming and Operating Systems. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Web Content Caching and Distribution Proceedings of the 8th International Workshop /
Έκδοση: (2004)

Active Networks and Active Network Management A Proactive Management Framework /
ανά: Bush, Stephen F., κ.ά.
Έκδοση: (2002)

Distributed and Parallel Systems In Focus: Desktop Grid Computing /
Έκδοση: (2008)

Handbook of Signal Processing Systems
Έκδοση: (2013)

Ambient Intelligence: Impact on Embedded Sytem Design
Έκδοση: (2003)

Parallel Computing Using Optical Interconnections
Έκδοση: (1998)

Compilation Techniques for Reconfigurable Architectures
ανά: Cardoso, João M.P, κ.ά.
Έκδοση: (2009)

New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
Έκδοση: (2002)

Distributed and Parallel Systems From Cluster to Grid Computing /
Έκδοση: (2007)

Formal Methods for Embedded Distributed Systems How to master the complexity /
Έκδοση: (2004)

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings /
Έκδοση: (2005)

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings /
Έκδοση: (2006)

Parallel Programming for Multicore and Cluster Systems /
ανά: Rauber, Thomas, κ.ά.
Έκδοση: (2013)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Distributed Event-Based Systems
ανά: Mühl, Gero, κ.ά.
Έκδοση: (2006)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

Multicore Processors and Systems
Έκδοση: (2009)

Handbook of Signal Processing Systems
Έκδοση: (2010)

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Έκδοση: (2008)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

Parallel Programming For Multicore and Cluster Systems /
ανά: Rauber, Thomas, κ.ά.
Έκδοση: (2010)

Instruction Level Parallelism
ανά: Aiken, Alex, κ.ά.
Έκδοση: (2016)

Floating Gate Devices: Operation and Compact Modeling
ανά: Pavan, Paolo, κ.ά.
Έκδοση: (2004)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
Έκδοση: (2005)

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
Έκδοση: (2007)

Euro-Par 2004 Parallel Processing 10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings /
Έκδοση: (2004)

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings /
Έκδοση: (2007)

Component Models and Systems for Grid Applications Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France. /
Έκδοση: (2005)

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings /
Έκδοση: (2007)

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings /
Έκδοση: (2006)

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings /
Έκδοση: (2008)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /
Έκδοση: (2006)

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings /
Έκδοση: (2010)

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics
Έκδοση: (2008)

NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings /
Έκδοση: (2009)

Middleware for Network Eccentric and Mobile Applications
Έκδοση: (2009)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
Έκδοση: (2006)

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
Έκδοση: (2007)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings /
Έκδοση: (2008)

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