Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Peter Tandler |
Modeling Groupware Supporting Synchronous Collaboration with Heterogeneous Single- and Multi-User Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Seventh International Workshop on Groupware (CRIWG'01), September 6-8, 2001, Darmstadt, Germany, Proceedings, pp. 6-15, 2001, IEEE Computer Society, 0-7695-1351-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Boris D. Lubachevsky, Alan Weiss |
Synchronous relaxation for parallel Ising spin simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the 15th Workshop on Parallel and Distributed Simulation, PADS 2001, Lake Arrowhead, California, USA, May 15-18, 2001, pp. 185-192, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
computational physics, Metropolis algorithm, optimistic simulation, conservative simulation |
17 | Klaus Schneider 0001 |
Embedding Imperative Synchronous Languages in Interactive Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 143-, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | David G. Novick, Eleanor Wynn |
Users and uses of synchronous business communications software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 142-146, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ethnographic methods, user studies, task, modality |
17 | Fumitaka Komatsu, Hiroyuki Torikai, Toshimichi Saito |
Various superstable synchronous phenomena in switch-coupled relaxation oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 696-699, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kip C. Killpack, Eric Mercer, Chris J. Myers |
A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 14-16 March 2001, Salt Lake City, UT, USA, pp. 188-201, 2001, IEEE Computer Society, 0-7695-1037-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | David Kinniment, Alexandre Yakovlev, B. Gao |
Synchronous and asynchronous A-D conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 8(2), pp. 217-220, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Budde, Axel Poigné |
Complex Reactive Control with Simple Synchronous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings, pp. 19-32, 2000, Springer, 3-540-41781-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jens Muttersbach, Thomas Villiger, Wolfgang Fichtner |
Practical Design of Globally-Asynchronous Locally-Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel, pp. 52-, 2000, IEEE Computer Society, 0-7695-0586-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Akira Utsumi, Howard Yang, Jun Ohya |
Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4607-4610, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Voon-Yee Vee, Wen-Jing Hsu |
Locality-preserving load-balancing mechanisms for synchronous simulations on shared-memory multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 14th Workshop on Parallel and Distributed Simulation, PADS 2000, Bologna, Italy, May 28-31, 2000, pp. 131-138, 2000, IEEE Computer Society, 0-7695-0667-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
The Control of Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 458-473, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Chung-Sheng Li, Kumar N. Sivarajan, David G. Messerschmitt |
Statistical analysis of timing rules for high-speed synchronous VLSI systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 7(4), pp. 477-482, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Anthony J. Weiss, Benjamin Friedlander |
Synchronous DS-CDMA downlink with frequency selective fading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 47(1), pp. 158-167, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong |
FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1999 Conference on Asia South Pacific Design Automation, Wanchai, Hong Kong, China, January 18-21, 1999, pp. 363-, 1999, IEEE Computer Society, 0-7803-5012-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Finite State Machine, VHDL, Symbolic Model Checking |
17 | Simin Nadjm-Tehrani |
Integration of Analog and Discrete Synchronous Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings, pp. 193-208, 1999, Springer, 3-540-65734-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Mikel Larrea, Sergio Arévalo, Antonio Fernández 0001 |
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 34-48, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Halbwachs, Pascal Raymond |
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 1-12, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hee-Jun Park, Byung Kook Kim |
An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 78-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hidehiro Nakano, Toshimichi Saito, Kunihiko Mitsubori |
Various impulsive synchronous patterns from mutually coupled ISC chaotic oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 475-478, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Budde, G. Michele Pinna, Axel Poigné |
Coordination of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, pp. 103-117, 1999, Springer, 3-540-65836-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael Gunzert, Andreas Nägele |
Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 134-, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Synchronous Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 62-, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
LTS, Deadlock, CCS, Observational Equivalence |
17 | Oliver Jung, Christoph Ruland |
Encryption with Statistical Self-Synchronization in Synchronous Broadband Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems, First International Workshop, CHES'99, Worcester, MA, USA, August 12-13, 1999, Proceedings, pp. 340-352, 1999, Springer, 3-540-66646-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
SDH/SONET, Cryptography, Encryption, Confidentiality, Modes of Operation, Broadband Networks, Self-Synchronization |
17 | Mohammad Saquib, Roy D. Yates, Narayan B. Mandayam |
A decision feedback decorrelator for a dual rate synchronous DS/CDMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 4(6), pp. 497-506, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana |
Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998, Proceedings, pp. 98-105, 1998, Springer, 3-540-64954-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peggy B. K. Pang, Mark R. Greenstreet |
Self-Timed Meshes Are Faster Than Synchronous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 30-, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
self-timed meshes, linear speed-up, per-processor performance, simulation, logic CAD |
17 | John R. Feehrer, Lars H. Ramfelt |
Packet Synchronization for Synchronous Optical Deflection-Routed Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(6), pp. 605-611, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
synchronization, interconnection networks, integer programming, packet switching, constrained optimization, optical interconnects, propagation delay, Deflection routing |
17 | Krzysztof Bilinski, Erik L. Dagless |
High Level Synthesis of Synchronous Parallel Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 93-112, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Mohan V. Nibhanupudi, Boleslaw K. Szymanski |
Adaptive Parallelism in the Bulk-Synchronous Parallel Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. II ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume II, pp. 311-318, 1996, Springer, 3-540-61627-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Adaptive Parallel Computing, Networks of Workstations, BSP Model |
17 | Ioannis Parissis, Farid Ouabdesselam |
Specification-based Testing of Synchronous Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 127-134, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Lustre |
17 | Pascal Aubry, Paul Le Guernic, Sylvain Machard |
Synchronous Distribution of Signal Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 656-665, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Savita Banerjee, Srimat T. Chakradhar, Rabindra K. Roy |
Synchronous Test Generation Model for Asynchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 178-185, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Filip Van Aelten, Jonathan Allen, Srinivas Devadas |
Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(1), pp. 122-134, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Danilo Florissi |
The loosely-synchronous transfer mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 17, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Stephen G. Eick, Albert G. Greenberg, Boris D. Lubachevsky, Alan Weiss |
Synchronous Relaxation for Parallel Simulations with Applications to Circuit-Switched Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 3(4), pp. 287-314, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel, fixed point, relaxation, discrete event |
17 | Martin Jourdan, Florence Maraninchi, Alfredo Olivero |
Verifying Quantitative Real-Time Properties of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 347-358, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Giovanni De Micheli |
Synchronous logic synthesis: algorithms for cycle-time minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(1), pp. 63-73, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ajei S. Gopal, Sam Toueg |
Reliable Broadcast in Synchronous and Asynchronous Environments (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 110-123, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | John H. Reppy |
Synchronous Operations as First-Class Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 250-259, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
C++, Pegasus |
17 | Barbara Liskov, Maurice Herlihy, Lucy Gilbert |
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 150-159, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Janice E. Cuny, Lawrence Snyder |
Compilation of Data-Driven Programs for Synchronous Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 197-202, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Geon Heo, Yongsoon Park, Kyungkyu Lee, Ho-Seon Ryu |
Current-Referencing Electrified Synchronous Machine to Emulate a Synchronous Machine via a Voltage-Source Inverter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(6), pp. 5883-5892, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Andres Ayes, Eby G. Friedman |
Linear Clock Tree Topology for Dynamic Source Synchronous and Fully Synchronous 3-D Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 93, pp. 102066, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | S. K. Binu Siva Singh, K. V. Karthikeyan |
High resolution digital pulse width modulator architecture using reversible synchronous sequential counter and synchronous phase-shifted circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Syst. Archit. ![In: Int. J. High Perform. Syst. Archit. 11(3), pp. 148-155, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Zhengyou Cai, Jiadan Wei, Le Zhang |
Synchronous Demodulation Schemes in Different Coordinate Systems for Sensorless Starting Control of Brushless Synchronous Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Athina Birda, Christoph Grabher, Christoph M. Hackl, Joerg Reuss |
DC-Link Capacitor and Inverter Current Ripples in Anisotropic Synchronous Motor Drives Produced by Synchronous Optimal PWM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 69(5), pp. 4484-4494, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Qiang Lin, Hiroshi Uno, Kenichiro Ogawa, Yasuhiro Kanekiyo, Tetsu Shijo, Junichi Arai, Takeshi Matsuda, Daiki Yamashita, Kenji Otani |
Field Demonstration of Parallel Operation of Virtual Synchronous Controlled Grid-Forming Inverters and a Diesel Synchronous Generator in a Microgrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 39095-39107, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Guitong Chen |
The covariance matrices of the non-synchronous measurement and its corresponding synchronous measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
16 | Athina Birda, Joerg Reuss, Christoph M. Hackl |
Synchronous Optimal Pulsewidth Modulation for Synchronous Machines With Highly Operating Point Dependent Magnetic Anisotropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 68(5), pp. 3760-3769, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Liang Tao, Jianjun Sun, Zhen Tian, Meng Huang 0001, Xiaoming Zha, Jinwu Gong |
Speed-Sensorless and Motor Parameters-Free Starting Method for Large-Capacity Synchronous Machines Based on Virtual Synchronous Generator Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 68(8), pp. 6607-6618, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Huijie Cheng, Wen Huang, Chao Shen 0006, Yelun Peng, Zhikang Shuai, Zheng John Shen |
Transient Voltage Stability of Paralleled Synchronous and Virtual Synchronous Generators With Induction Motor Loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 12(6), pp. 4983-4999, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jitendra Kumar, Vegireddy Gowtham, Sashidhar Sampathirao |
Comparison of Synchronous Reluctance, PM assisted Synchronous Reluctance and Spoke-Type BLDC Motor for an E-Rickshaw. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 22nd IEEE International Conference on Industrial Technology, ICIT 2021, Valencia, Spain, March 10-12, 2021, pp. 172-177, 2021, IEEE, 978-1-7281-5730-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Mahdi Ashabani, Jaesung Jung |
Synchronous Voltage Controllers: Voltage-Based Emulation of Synchronous Machines for the Integration of Renewable Energy Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 49497-49508, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Amber Phelps, Dimitrios Vlachopoulos |
Successful transition to synchronous learning environments in distance education: A research on entry-level synchronous facilitator competencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 25(3), pp. 1511-1527, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Linhao Dong, Cheng Yi, Jianzong Wang, Shiyu Zhou, Shuang Xu, Xueli Jia, Bo Xu 0002 |
A Comparison of Label-Synchronous and Frame-Synchronous End-to-End Models for Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.10113, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Mohamed Abuagreb, Babatunde Ajao, Hess Herbert, Brian K. Johnson |
Evaluation of Virtual Synchronous Generator Compared to Synchronous Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2020, Washington, DC, USA, February 17-20, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-3103-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Zhe Chen 0002, Hang Zhang 0024, Wencong Tu, Guangzhao Luo, Darshan Manoharan, Ralph Kennel |
Sensorless Control for Permanent Magnet Synchronous Motor in Rail Transit Application Using Segmented Synchronous Modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 76669-76679, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Katharina Günther, Constantinos Sourkounis |
Investigation of Virtual Synchronous Machine Control for the Grid-Side Converter of Wind Turbines with Permanently Excited Synchronous Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019, pp. 2395-2401, 2019, IEEE, 978-1-7281-4878-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Eneko Unamuno, Jon Are Suul, Marta Molinas, Jon Andoni Barrena |
Comparative Eigenvalue Analysis of Synchronous Machine Emulations and Synchronous Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019, pp. 3863-3870, 2019, IEEE, 978-1-7281-4878-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Amit Kumar Mondal, Saptarshi Basak, Chandan Chakraborty |
Design of a 4/6-pole Synchronous Machine with Embedded Brushless Synchronous Exciter (SEBSE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019, Vancouver, BC, Canada, June 12-14, 2019, pp. 2553-2558, 2019, IEEE, 978-1-7281-3666-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Denise G. Kutnick, David A. Joyner |
Synchronous at Scale: Investigation and Implementation of a Semi-Synchronous Online Lecture Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L@S ![In: Proceedings of the Sixth ACM Conference on Learning @ Scale, L@S 2019, Chicago, IL, USA, June 24-25, 2019., pp. 40:1-40:4, 2019, ACM, 978-1-4503-6804-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Logan Born, Anoop Sarkar |
Prefix Lexicalization of Synchronous CFGs using Synchronous TAG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, ACL 2018, Melbourne, Australia, July 15-20, 2018, Volume 1: Long Papers, pp. 1160-1170, 2018, Association for Computational Linguistics, 978-1-948087-32-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Rajaram Tukaram Ugale, Bhalchandra Nemichand Chaudhari |
Rotor Configurations for Improved Starting and Synchronous Performance of Line Start Permanent-Magnet Synchronous Motor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 64(1), pp. 138-148, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Masashi Imai, Thiem Van Chu, Kenji Kise, Tomohiro Yoneda |
The synchronous vs. asynchronous NoC routers: an apple-to-apple comparison between synchronous and transition signaling asynchronous designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Tenth IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2016, Nara, Japan, August 31 - September 2, 2016, pp. 1-8, 2016, IEEE, 978-1-4673-9030-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Holtz, Gilberto da Cunha, Norton Petry, Paulo Jose Torri |
Control of Large Salient-Pole Synchronous Machines Using Synchronous Optimal Pulsewidth Modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 62(6), pp. 3372-3379, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Xiangyu Duan, Min Zhang 0005, Qiaoming Zhu |
Synchronous Constituent Context Model for Inducing Bilingual Synchronous Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2014, 25th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, August 23-29, 2014, Dublin, Ireland, pp. 1865-1874, 2014, ACL, 978-1-941643-26-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Sorin Musuroi, Ciprian Sorandaru, Marian Greconici, Nicola-Valeriu Olarescu, Martin Weinman |
Low-cost ferrite permanent magnet assisted synchronous reluctance rotor an alternative solution for rare earth permanent magnet synchronous motors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, Austria, November 10-13, 2013, pp. 2966-2970, 2013, IEEE, 978-1-4799-0224-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Dariusz R. Kowalski, Achour Mostéfaoui |
Synchronous byzantine agreement with nearly a cubic number of communication bits: synchronous byzantine agreement with nearly a cubic number of communication bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013, pp. 84-91, 2013, ACM, 978-1-4503-2065-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Léonard Gérard |
Programmer le paralle'lisme avec des futures en Heptagon un langage synchrone flot de donne'es et e'tude des re'seaux de Kahn en vue d'une compilation synchrone. (Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Kwen-Siong Chong, Kok-Leong Chang, Bah-Hwee Gwee, Joseph S. Chang |
Synchronous-Logic and Globally-Asynchronous-Locally-Synchronous (GALS) Acoustic Digital Signal Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 47(3), pp. 769-780, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kuo-Jen Chao, I-Chun Hung, Nian-Shing Chen |
On the design of online synchronous assessments in a synchronous cyber classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 28(4), pp. 379-395, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | David Zelig, Ron Cohen, Thomas D. Nadeau |
Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation over Packet (CEP) MIB Using SMIv2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6240, pp. 1-67, May 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, pp. 137-148, 2011, ACM, 978-1-4503-0714-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hala A. Farouk, Mahmoud T. El-Hadidi |
Implementing Globally Asynchronous Locally Synchronous processor pipeline on commercial synchronous FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: 17th International Conference on Telecommunications, ICT 2010, Doha, Qatar, April 4-7, 2010, pp. 989-994, 2010, IEEE, 978-1-4244-5246-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla |
An Analysis of the Composition of Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMGALS@DATE ![In: Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, FMGALS@DATE 2009, Nice, France, April 24, 2009, pp. 69-84, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andrew G. Malis, Jeremy Brayley, John Shirron, Luca Martini, Steve Vogelsang |
Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5143, pp. 1-24, February 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andrew G. Malis, Prayson Pate, Ron Cohen, David Zelig |
Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation over Packet (CEP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4842, pp. 1-43, April 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tiemi Christine Sakata |
Bridging the gap between synchronous and quase-synchronous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
16 | Yu-Nan Lin, David W. Lin |
Multicode chip-interleaved DS-CDMA to effect synchronous correlation of spreading codes in quasi-synchronous transmission over multipath channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 5(10), pp. 2638-2642, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Eric Mannie, Dimitri Papadimitriou |
Generalized Multi-Protocol Label Switching (GMPLS) Extensions for Synchronous Optical Network (SONET) and Synchronous Digital Hierarchy (SDH) Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4606, pp. 1-25, August 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru |
The Synchronous Hypothesis and Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Handbook ![In: Embedded Systems Handbook., 2005, CRC Press, 978-0-8493-2824-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Greg M. Bernstein, Eric Mannie, Vishal Sharma, Eric Gray |
Framework for Generalized Multi-Protocol Label Switching (GMPLS)-based Control of Synchronous Digital Hierarchy/Synchronous Optical Networking (SDH/SONET) Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4257, pp. 1-35, December 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan P. Lang, Dimitri Papadimitriou |
Synchronous Optical Network (SONET)/Synchronous Digital Hierarchy (SDH) Encoding for Link Management Protocol (LMP) Test Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4207, pp. 1-15, October 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Chien-Hwa Hwang |
Equivalence of large chip-synchronous and symbol-synchronous CDMA systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2005 IEEE International Symposium on Information Theory, ISIT 2005, Adelaide, South Australia, Australia, 4-9 September 2005, pp. 204-208, 2005, IEEE, 0-7803-9151-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta 0001, Jean-Pierre Talpin |
A Verification Approach for GALS Integration of Synchronous Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMGALS@MEMOCODE ![In: Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005, pp. 105-131, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Eric Mannie, Dimitri Papadimitriou |
Generalized Multi-Protocol Label Switching (GMPLS) Extensions for Synchronous Optical Network (SONET) and Synchronous Digital Hierarchy (SDH) Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3946, pp. 1-26, October 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle |
A Verified Compiler for Synchronous Programs with Local Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004, pp. 71-97, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Grégoire Hamon |
Synchronous Dataflow Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004, pp. 37-54, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Reinhard Budde, Axel Poigné, Karl-Heinz Sylla |
synERJY An Object-oriented Synchronous Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004, pp. 99-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner |
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNCHRON ![In: Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner |
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNCHRON ![In: Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Stanley Schuster, Peter W. Cook |
Low-power synchronous-to-asynchronous- to-synchronous interlocked pipelined CMOS circuits operating at 3.3-4.5 GHz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 38(4), pp. 622-630, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kaj Tesink |
Definitions of Managed Objects for the Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Interface Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3592, pp. 1-73, September 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP ![In: Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003, pp. 87-103, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon |
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP ![In: Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003, pp. 105-121, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Koen Claessen |
Safety Property Verification of Cyclic Synchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP ![In: Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003, pp. 55-69, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Nevin Jones, Chris Murton |
Extending Point-to-Point Protocol (PPP) over Synchronous Optical NETwork/Synchronous Digital Hierarchy (SONET/SDH) with virtual concatenation, high order and low order payloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3255, pp. 1-8, April 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Osamu Okamoto, Mitsuru Maruyama, Takahiro Sajima |
Forwarding Media Access Control (MAC) Frames over Multiple Access Protocol over Synchronous Optical Network/Synchronous Digital Hierarchy (MAPOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3422, pp. 1-19, November 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Molli, Hala Skaf-Molli, Gérald Oster, Sébastien Jourdain |
SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the Seventh International Conference on CSCW in Design, CSCWD 2002, September 25-27, 2002, Rio de Janeiro, Brazil, pp. 80-84, 2002, IEEE, 85-285-0050-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|