Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeun Kwak, Sungjoo Yeo |
PLCStudio: Simulation based PLC code verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 222-228, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
97 | Christoffer Asgaard Rødbro, Manohar N. Murthi, Søren Vang Andersen, Søren Holdt Jensen |
Hidden Markov model-based packet loss concealment for voice over IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 14(5), pp. 1609-1623, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
96 | Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang |
Modeling, verification, and implementation of PLC program using timed-MPSG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 533-540, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC) |
86 | Zhenchao Wang, Shibing Zhang, Huiran Hou, Yutao Gan |
Analysis of Kolmogorov Entropy Characteristic of L-PLC Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1764-1769, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Jae Sang Cha, Myong-Chul Shin, Jong-Joo Lee |
A Novel Interference-Cancelled Home Network PLC System Based on the Binary ZCD-CDMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II, pp. 713-722, 2005, Springer, 3-540-28227-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
PLC-Based Safety Critical Software Development for Nuclear Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 155-165, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
86 | Mario Grabner, Gerhard Leonhartsberger, Alexander Leutgeb, Josef Altmann |
Java in Industrial Automation - A Virtual PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 477-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
81 | Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda |
Bridging structural and software design of PLC-based system families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 377-384, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software |
73 | Henning Dierks, Josef Tapken |
Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 220-221, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Model-checking, Verification, Real-time, Timed automata, PLC |
64 | Josef Tapken, Henning Dierks |
MOBY/PLC - Graphical Development of PLC-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 311-314, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
62 | Min Zhou 0001, Fei He 0001, Ming Gu 0001, Xiaoyu Song |
Translation-Based Model Checking for PLC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 553-562, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
62 | Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001 |
Formalization and Verification of PLC Timers in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 315-323, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
62 | Denni Kurniawan, Riza Sulaiman |
Design and Implementation of Visual Inspection System in Automatic Bottling System Based on PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 760-764, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Devinder Thapa, Chang Mok Park, Kwan Hee Han, Sang C. Park, Gi-Nam Wang |
Architecture for modeling, simulation, and execution of PLC based manufacturing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1794-1801, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Zhenchao Wang, Yutao Gan, Huiran Hou, Shibing Zhang |
L-PLC Channel Characteristics Prediction Based on SVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1778-1783, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Bhupender Parashar, Gulshan Taneja |
Reliability and Profit Evaluation of a PLC Hot Standby System Based on a Master-Slave Concept and Two Types of Repair Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(3), pp. 534-539, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Jin Hyun Kim, Su-Young Lee 0001, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi |
Development of RTOS for PLC Using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 479-482, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Xenofontas A. Dimitropoulos, Paul Hurley, Andreas Kind |
Probabilistic lossy counting: an efficient algorithm for finding heavy hitters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 38(1), pp. 5, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data streams, heavy hitters |
60 | Andrzej Kochut, Arunchandar Vasan 0001, A. Udaya Shankar, Ashok K. Agrawala |
Sniffing Out the Correct Physical Layer Capture Model in 802.11b. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 12th IEEE International Conference on Network Protocols (ICNP 2004), 5-8 October 2004, Berlin, Germany, pp. 252-261, 2004, IEEE Computer Society, 0-7695-2161-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Abdelfatteh Haidine, Ralf Lehnert |
Placement of Base Stations in Broadband Power Line Communications Access Networks by Means of Multi-criteria Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AccessNets ![In: AccessNets, Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers, pp. 176-191, 2008, Springer, 978-3-642-04647-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
uplink delay, Broadband Power-Line Communications (B-PLC), access network planning, generalized base station placement, multi-criteria optimization, network costs |
50 | Josep M. Selga, Agustín Zaballos, Jaume Abella 0002, Guiomar Corral |
Model for polling in noisy multihop systems with application to PLC and AMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 664-669, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Christoforos E. Economakos, George Economakos |
Optimized FPGA implementations of demanding PLC programs based on hardware high-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 1002-1009, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Chang Mok Park, Sachin Man Bajimaya, Sang C. Park, Gi-Nam Wang, Jonggeun Kwak, Kwan Hee Han |
Development of Virtual Simulator for Visual Validation of PLC Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 32, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Josef Tapken |
MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 326-329, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Marc Kuhn, Stefan Berger, Ingmar Hammerström, Armin Wittneben |
Power line enhanced cooperative wireless communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(7), pp. 1401-1410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Jong-Joo Lee, Jae Sang Cha, Myong-Chul Shin, Hak-Man Kim |
Adaptive Modulation Based Power Line Communication System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II, pp. 704-712, 2005, Springer, 3-540-28227-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Power line communication, Decision Making, Adaptive Modulation |
48 | Paolo Bouquet, Luciano Serafini |
On the Difference between Bridge Rules and Lifting Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings, pp. 80-93, 2003, Springer, 3-540-40380-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Paolo Bouquet, Luciano Serafini |
Two Formalizations of Context: A Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings, pp. 87-101, 2001, Springer, 3-540-42379-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Henning Dierks |
Synthesizing controllers from real-time specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(1), pp. 33-43, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Ernst-Rüdiger Olderog |
Correct Real-Time Software for Programmable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 342-362, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Seungkweon Jeong, Young Shin Kim, Wook Hyun Kwon |
Scheduling algorithm for programmable logic controllers with remote I/Os. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 87-, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
remote I/O, remote input output, sequence programs, application processor, bounded response time, scheduling algorithm, network processor, computer simulation, multitasking, data transmission, programmable logic controllers, PLC, programmable controllers |
42 | Hamid R. Arabnia (eds.) |
Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![CSREA Press, 1-932415-75-0 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Sergiy Kyrylkov, Darko Stefanovic |
Garbage Collection With a Large Address Space for Server Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 179-186, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Mark Evered |
Object and Access Evolution in Jarrah. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 223-229, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Yves Vandewoude, Yolande Berbers |
Component State Mapping for Runtime Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 230-236, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Borys J. Bradel, Tarek S. Abdelrahman |
A Characterization of Traces in Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 87-93, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Emil Vassev, Joey Paquet |
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 29-35, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Christian Heinlein |
Null Values in Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 123-129, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan |
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 237-244, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Alexander Gruler, Christian Heinlein |
Exception Handling with Resumption: Design and Implementation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 165-171, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Serguei A. Mokhov, Joey Paquet |
General Imperative Compiler Framework within the GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 36-42, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Ruchi Agarwal, William W. Wadge |
The Lazy Evaluation of Infinitesimal Logic Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 3-7, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Marco T. Morazán |
Towards Closureless Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 57-63, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Bing Dong Li, Mansur H. Samadzadeh |
A Comparison of Z and UML: Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 214-222, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Chengpu Wang |
Toward Functionality Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 71-77, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Aihua Wu 0001, Joey Paquet |
Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 43-47, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | David Dodds |
Components of Meta-Programming, Computer Analogies and Metaphors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 78-86, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Paniti Netinant, Tzilla Elrad |
A Framework for Extensible and Adaptable System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 207-213, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Christian Hummert, Gisela Menger |
New Programming Language Concepts for Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 158-164, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Zorica Suvajdzin, Miroslav Hajdukovic |
Towards Program Composing Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 142-150, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Keith D. Cooper, Jason Eckhardt |
Improved Passive Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 115-122, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Kevin M. Cleereman |
Container Types for Automatic Garbage Collection in Hard Real-Time Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 172-178, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Robert Chun, Azeem S. Jiva |
Compilation Scheduling for the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 187-193, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Peter Grogono, Serguei A. Mokhov, Joey Paquet |
Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 15-21, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Hajime Inoue |
Inferring Java Security Policies Through Dynamic Sandboxing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 151-157, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Richard West, Gary T. Wong |
Cuckoo: a Language for Implementing Memory- and Thread-safe System Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 94-100, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Daniel E. Cooke, J. Nelson Rushton |
SequenceL - An Overview of a Simple Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 64-70, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Joey Paquet, Aihua Wu 0001 |
GIPSY - A Platform for the Investigation on Intensional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 8-14, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Weichang Du, Qian Jia |
A Programming System for Peer-to-Peer Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 108-114, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Cong-Cong Xing, Boumediene Belkhouche |
Object Interdependencies, Behaviors, Semantics, and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 245-, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Haitong Xu, Sheng Yu 0001 |
Adding States into Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 101-107, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Barbara Mucha, Marco T. Morazán |
Exploiting Syntactic Analysis for Lambda Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 130-136, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Serguei A. Mokhov, Joey Paquet |
Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 22-28, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Bryan Crawley, Raphael A. Finkel |
Micky: Methods With Implicit Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 201-206, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Patrick Renner, Axel Rauschmayer |
TUBE - Structure-Orientation in a Prototype-Based Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 194-200, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Lucx: Lucid Enriched with Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 48-56, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Michael M. J. Zastre, John Aycock |
An Exceptional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 137, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Marcello Bonfè, Matteo Vignali, Mario Fiorini |
PLC-based control of a robot manipulator with closed kinematic chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1262-1267, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Jeffrey S. Smith, Younchol Cho |
Offline commissioning of a PLC-based control system using arena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1802-1810, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Knut Güttel, Peter Weber, Alexander Fay |
Automatic generation of PLC code beyond the nominal sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 1277-1284, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Michael Elliott, Ray Dawson, Janet Edwards |
An analysis of software quality management at AWE plc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(4), pp. 347-363, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ISO900:2001, Implementation, Culture, Audit |
38 | Guohai Liu, Fuliang Wang, Yue Shen, Huawei Zhou, Hongping Jia, Mei Kang |
Realization of Neural Network Inverse System with PLC in Variable Frequency Speed-Regulating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I, pp. 257-266, 2007, Springer, 978-3-540-72382-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ping-Huang Wu, Chin-Hwa Kuo, Chin-Chung Lin, Pei-Lin Wu |
Design and Implementation of the PLC Control Lab Using GSM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 393-395, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Mohammed Bani Younis, Georg Frey |
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 1340-1347, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha |
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 283-284, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg |
Verification of PLC Programs Given as Sequential Function Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 517-540, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, Analysis, Automata, Logic Control |
38 | Stéphane Klein, Georg Frey, Mark Minas |
PLC Programming with Signal Interpreted Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 440-449, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Ed Brinksma, Angelika Mader, Ansgar Fehnker |
Verification and optimization of a PLC control schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 21-33, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Model checking, Verification, Formal methods, Hybrid systems |
36 | Olivera Pavlovic, Hans-Dieter Ehrich |
Model Checking PLC Software Written in Function Block Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 439-448, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
FBD, IEC 61131-3, model checking, formal verification, PLC |
36 | Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang |
An Algorithm about Transforming PLC Ladder Diagram to Instruction List Based on Series-Parallel Merging Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 812-816, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ladder diagram, instruction list, PLC |
36 | Xiaofeng Song, Shili Tan, Junjian Ding |
A Monitoring System for PLC Controlled Manufacturing System Based on Fieldbus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 576-581, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CC-Link, winding system, PLC, monitoring system, HMI, PID, fieldbus |
36 | Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari |
An Improved Process for the Development of PLC Software (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 400-410, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
design, requirement engineering, reuse, process improvement, PLC |
36 | Serge Parshutin, Arkady Borisov |
Agents Based Data Mining and Decision Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMI ![In: Agents and Data Mining Interaction, 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15, 2009, Revised Selected Papers, pp. 36-49, 2009, Springer, 978-3-642-03602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Forecasting Transition Points, Data Mining, Software Agents, Decision Support |
36 | Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hai Wan |
Formal Specification and Code Generation of Programable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 102-109, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Freddy Lécué, Alexandre Delteil, Alain Léger |
Towards the composition of stateful and independent semantic web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2279-2285, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web service, semantic web, composition, complexity results |
36 | Taro Hayasaki, Daisuke Umehara, Satoshi Denno, Masahiro Morikura |
A Simulator of Periodically Switching Channels for Power Line Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AccessNets ![In: AccessNets, Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers, pp. 162-175, 2008, Springer, 978-3-642-04647-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
power line communication, periodically switching channel response, switching power supply, simulator, OFDM |
36 | Abdelfatteh Haidine, Ralf Lehnert |
Modeling of Channel Allocation in Broadband Powerline Communications Access Networks as a Multi-Criteria Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AccessNets ![In: AccessNets, Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers, pp. 192-207, 2008, Springer, 978-3-642-04647-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
broadband powerline communications, access network planning, evolutionary algorithms, Channel allocation, multi-criteria optimization |
36 | Bradley R. Quinton, Steven J. E. Wilton |
Embedded Programmable Logic Core Enhancements for System Bus Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 202-209, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Jinsul Kim, Hyun-Woo Lee, Won Ryu, Byung Sun Lee |
Voice Quality Guaranteed Service over Best-Effort IP Network for Pervasive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2007), 19-23 March 2007, White Plains, New York, USA, pp. 614-617, 2007, IEEE Computer Society, 978-0-7695-2788-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Theodoros Chiras, Polychronis Koutsakis, Michael Paterakis |
On Improving the Extended Aloha Protocol for Broadband Powerline Communications Networks with Light and Heavy Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNS ![In: Third International Conference on Networking and Services (ICNS 2007), June 19-25, 2007, Athens, Greece, pp. 43, 2007, IEEE Computer Society, 978-0-7695-2858-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | P. Karols, K. Dostert, G. Griepentrog, Simon Huettinger |
Mass transit power traction networks as communication channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(7), pp. 1339-1350, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Matthieu Crussière, Jean-Yves Baudais, Jean-François Hélard |
Adaptive spread-spectrum multicarrier multiple-access over wirelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(7), pp. 1377-1388, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Takashi Kaneyama, Hiroshi Mineno, Takashi Furumura, Kunihiro Yamada, Tadanori Mizuno |
Reliable Communication Methods for Mutual Complementary Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 150-158, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusébio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho |
A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, FPGA 2005, Monterey, California, USA, February 20-22, 2005, pp. 275, 2005, ACM, 1-59593-029-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Peter H. M. Jacobs, Alexander Verbraeck, William Rengelink |
Emulation with DSOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 1453-1462, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Hang Si, Klaus Gärtner |
Meshing Piecewise Linear Complexes by Constrained Delaunay Tetrahedralizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMR ![In: Proceedings of the 14th International Meshing Roundtable, IMR 2005, September 11-14, 2005, San Diego, CA, USA, pp. 147-163, 2005, Springer, 978-3-540-25137-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Yukiyasu Shimada, Takashi Hamaguchi, Tetsuo Fuchino |
Study on the Development of Design Rationale Management System for Chemical Process Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I, pp. 198-204, 2005, Springer, 3-540-28894-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Yu-Ju Lin, Haniph A. Latchman, Jonathan C. L. Liu, Richard E. Newman |
Periodic Contention-Free Multiple Access for Power Line Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 315-318, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Moonseong Kim, Young-Cheol Bang, Hyunseung Choo |
New Parameter for Balancing Two Independent Measures in Routing Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 56-65, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | David Cohen-Steiner, Éric Colin de Verdière, Mariette Yvinec |
Conforming Delaunay triangulations in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 199-208, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conforming Delaunay triangulations, meshes, Delaunay triangulations |