Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Khawar M. Zuberi, Kang G. Shin |
An efficient semaphore implementation scheme for small-memory embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 25-34, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
68 | Kenneth A. Reek |
The well-tempered semaphore: theme with variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2002, Cincinnati, Kentucky, USA, February 27 - March 3, 2002, pp. 356-359, 2002, ACM, 1-58113-473-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Synchronization, monitor, operating system, semaphore |
64 | Yi Ye, Chao-Ju Hou |
On Laying Out Virtual Paths for Real-Time Message Streams in ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 14-24, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
57 | Jae-Ho Lee, Heung-Nam Kim |
Implementing priority inheritance semaphore on uC/OS real-time kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFES ![In: 1st IEEE Workshop on Software Technologies for Future Embedded Systems, WSTFES 2003, Hakodate, Hokkaido, Japan, May 15-16, 2003, pp. 83-, 2003, IEEE Computer Society, 0-7695-1937-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Wojciech Zajac, Andrzej Poplawski |
Use of Extended Semaphore Operations in Parallel Programming on a Transputer Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland, pp. 50-, 2002, IEEE Computer Society, 0-7695-1730-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Scott D. Carson, Paul F. Reynolds Jr. |
The Geometry of Semaphore Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(1), pp. 25-53, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
48 | George E. Bier, Mary K. Vernon |
Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 9-15, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
UNIX, UNIX, CRAY X-MP |
42 | Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri |
Combinable memory-block transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 23-34, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore |
42 | Fabrice Peyrard, Christian Soutou, Jean-Jacques Mercier |
Mobile Stations Localization in a WLAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 136-142, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
radio tracking, mobile stations localization, localization protocol, semaphore channel, access point coverage areas, virtual coverage areas, near-to-near relays, Java DataBase Connectivity, Java, Java, protocols, wireless LAN, WLAN, relational databases, object-oriented databases, roaming, wireless local area network, access points, object-relational database, JDBC, land mobile radio |
42 | Ron Lin |
Shift Switching with Domino Logic: Asynchronous VLSI Comparator Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 520-522, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
shift switching, asynchronous VLSI comparator, precharged CMOS domino logic, VLSI, semaphore |
42 | John Drummond, Michael Wu |
A low level analysis of the realtime Mach distributed operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 46-47, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques |
42 | R. T. Jacob, Ivor P. Page |
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 560-568, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem |
42 | Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Adenilso da Silva Simão |
Structural Testing for Semaphore-Based Multithread Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 337-346, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software testing, testing criteria, multithread programs |
42 | Damián Barsotti, Javier O. Blanco |
Automatic Refinement of Split Binary Semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 64-78, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Cristian Tapus, Jason Hickey |
Distributed synchronization with shared semaphore sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, pp. 921-928, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Yu Lei 0001, Richard H. Carver |
Reachability Testing of Semaphore-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 312-317, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Victor B. Lortz, Kang G. Shin |
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 834-844, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiprocessor synchronization, concurrency control, Real-time scheduling, priority assignment |
32 | Aaron Block, Hennadiy Leontyev, Björn B. Brandenburg, James H. Anderson |
A Flexible Real-Time Locking Protocol for Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea, pp. 47-56, 2007, IEEE Computer Society, 0-7695-2975-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu |
Detecting Race Conditions in Parallel Programs that Use Semaphores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 35(4), pp. 321-345, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Rene Kobler, Dieter Kranzlmüller, Jens Volkert |
Debugging OpenMP Programs Using Event Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings, pp. 81-89, 2001, Springer, 3-540-42346-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | John A. Trono |
Comments on "Tagged Semaphores". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 34(4), pp. 7-11, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer |
Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '96, Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996, Proceedings, pp. 445-459, 1996, Springer, 3-540-61680-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Jochen Liedtke |
A Short Note on Small Virtually-Addresses Control Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 29(3), pp. 31-34, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Jochen Liedtke |
A Short Note on Implementing Thread Exclusiveness and Address Space Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(3), pp. 38-42, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Philip Holman, James H. Anderson |
Locking under Pfair scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 24(2), pp. 140-174, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
supertask, scheduling, real-time, synchronization, multiprocessor, Locking, semaphore, Pfairness |
26 | Kenneth A. Reek |
Design patterns for semaphores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 320-324, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
synchronization, design pattern, operating system, semaphore |
26 | Dillon Ludemann |
Digital semaphore: Political discourse and identity negotiation through 4chan's /pol/. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 25(10), pp. 2724-2743, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Miguel Ángel Álvarez-Carmona, Ángel Díaz-Pacheco, Ramón Aranda, Ansel Y. Rodríguez González, Daniel Fajardo-Delgado, Rafael Guerrero-Rodriguez, Lázaro Bustio-Martínez |
Overview of Rest-Mex at IberLEF 2022: Recommendation System, Sentiment Analysis and Covid Semaphore Prediction for Mexican Tourist Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 69, pp. 289-299, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Briana Bettin, Linda M. Ott, Julia Hiebel |
Semaphore or Metaphor?: Exploring Concurrent Students' Conceptions of and with Analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (1) ![In: ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 1, pp. 200-206, 2022, ACM, 978-1-4503-9201-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Alejandra Romero-Cantón, Ramón Aranda, Ángel Díaz-Pacheco, Juan Pablo Ramírez-Silva |
Mexican Epidemiological Semaphore Color Prediction by Means of Mutual Information Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IberLEF@SEPLN ![In: Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2022) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2022), A Coruña, Spain, September 20, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Samiran Gupta, Babul P. Tewari |
An Efficient CoD Management Using Semaphore in Online Retail System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICBA ![In: Computational Intelligence in Communications and Business Analytics - 4th International Conference, CICBA 2022, Silchar, India, January 7-8, 2022, Revised Selected Papers, pp. 403-416, 2022, Springer, 978-3-031-10765-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Luis Hermoza, Javier de la Cruz, Elsa Fernández, Benjamín Castañeda |
Development of a Semaphore of Anemia: Screening Method Based on Photographic Images of the Ungueal Bed Using a Digital Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2020, Montreal, QC, Canada, July 20-24, 2020, pp. 1931-1935, 2020, IEEE, 978-1-7281-1990-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Erik Férnando Méndez Garces, Gabriela Mafla Medina, José Ortiz |
Study of the Pattern Recognition Algorithms for the Automation of a Smart Semaphore Through FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (1) ![In: Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., pp. 703-712, 2020, Springer, 978-3-030-45687-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Sunanda Mondal, Mili Ghosh, Kakali Datta, Debarka Mukhopadhyay, Paramartha Dutta |
A QCA design and energy analysis of binary semaphore with a comprehensive case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 15(3-4), pp. 343-354, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Ruby D, Jeyachidra J |
Semaphore Based Data Aggregation and Similarity Findings for Underwater Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Grid High Perform. Comput. ![In: Int. J. Grid High Perform. Comput. 11(3), pp. 59-76, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Ronghe Wang, Jianghua Lv, Shilong Ma |
A MRI image segmentation method based on medical semaphore calculating in medical multimedia big data environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 77(8), pp. 9995-10015, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Wei Lan, Chun He, Mingju Wang, Ke Li, Zhijian Zhao |
The Semaphore Identification and Fault Troubleshooting Modus for Spacecraft Originating from Deep Learning and RF Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSIP (2) ![In: Cognitive Systems and Signal Processing - 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part II, pp. 208-219, 2018, Springer, 978-981-13-7985-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Thanh-Dat Nguyen 0001, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard |
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, pp. 231-236, 2018, IEEE, 978-3-9819263-0-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Nan Tian, Benjamin Kuo, Xinhe Ren, Michael Yu, Robert Zhang, Bill Huang, Ken Goldberg, Somayeh Sojoudi |
A Cloud-Based Robust Semaphore Mirroring System for Social Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018, pp. 1351-1358, 2018, IEEE, 978-1-5386-3593-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Antonio M. R. Almeida, José A. F. de Macêdo, Javam C. Machado |
Optimization of Urban Semaphore Times Turning into JSSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BiDu-Posters@VLDB ![In: Proceedings of the Poster Track of the Workshop on Big Social Data and Urban Computing co-located with BiDU 2018 at VLDB 2018, Rio de Janeiro, Brazil, August 31, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | John L. Rhodes 0001, Anne Schilling, Pedro V. Silva |
The semaphore codes attached to a Turing machine via resets and their various limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(4), pp. 675-704, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | John L. Rhodes 0001, Anne Schilling, Pedro V. Silva |
Random walks on semaphore codes and delay de Bruijn semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(4), pp. 635-673, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Xinfeng Shu, Zhenhua Duan |
Extending MSVL with Semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings, pp. 599-610, 2016, Springer, 978-3-319-42633-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Shi-hai Zhu |
Hardware implementation based on FPGA of semaphore management in μC/OS-II real-time operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Grid Util. Comput. ![In: Int. J. Grid Util. Comput. 6(3/4), pp. 192-199, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Maolin Yang, Alexander Wieder, Björn B. Brandenburg |
Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, pp. 1-12, 2015, IEEE Computer Society, 978-1-4673-9507-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee |
A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 24(8), pp. 706-737, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Björn B. Brandenburg |
A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013, pp. 292-302, 2013, IEEE Computer Society, 978-0-7695-5054-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Björn B. Brandenburg |
Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013, pp. 141-152, 2013, IEEE Computer Society, 978-1-4799-0186-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Heitor Judiss Savino, Eddie B. L. Filho |
PCR jitter control based on a semaphore-controlled counter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 20th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2012 , Split, Croatia, September 11-13, 2012, pp. 1-5, 2012, IEEE, 978-1-4673-2710-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Jogi Hofmueller, Aaron Bachmann, Johannes Zmölnig |
The Transmission of IP Datagrams over the Semaphore Flag Signaling System (SFSS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4824, pp. 1-13, April 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Boguslaw Schreyer, Wojciech Wawrzynski |
Finite automata models for CS problem with binary semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 330, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer science education, finite automata, process synchronization |
26 | Andreas Limyr, Tor Neple, Arne-Jørgen Berre, Brian Elvesæter |
Semaphore - A Model-Based Semantic Mapping Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 275-284, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Interoperability, Mapping, MDA, Transformation |
26 | Dongyang Long, Weijia Jia 0001, Jian Ma 0008, Duanning Zhou |
k-p-Infix codes and semaphore codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 109(3), pp. 237-252, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Stephen Hodgson, Neil Dunstan, Ivan Fris |
Extended semaphore operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 12(15), pp. 1495-1509, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Mahendra Ramachandran, Mukesh Singhal |
Decentralized semaphore support in a virtual shared-memory system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 9(1-2), pp. 51-70, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Mitchell L. Neilsen, Masaaki Mizuno |
A quorum-based algorithm for parameterized semaphore operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 21(1), pp. 103-112, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer |
Detecting Race Conditions in Parallel Programs that Use One Semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, Third Workshop, WADS '93, Montréal, Canada, August 11-13, 1993, Proceedings, pp. 471-482, 1993, Springer, 3-540-57155-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen |
A Distributed Algorithm for Parameterized Semaphore Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings, pp. 466-469, 1992, IEEE Computer Society, 0-8186-2812-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Kwok-Bun Yue, R. T. Jacob |
An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 34(4), pp. 345-349, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Serge Fdida, Harry G. Perros, Andrzej Wilk |
Semaphore queues: modeling multilayered window flow control mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 38(3), pp. 309-317, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Sibsankar Haldar, D. K. Subramanian |
An Efficient Solution to the Mutual Exclusion Problem Using Unfair and Weak Semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 22(2), pp. 60-66, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | James Leslie Keedy, Bernd Freisleben |
On the Efficient Use of Semaphore Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 21(4), pp. 199-205, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dan E. Willard |
Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA, pp. 512-521, 1984, ACM. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Eugene W. Stark |
Semaphore primitives and starvation-free mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 29(4), pp. 1049-1072, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | Richard M. Weatherly Jr., James F. Leathrum |
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 16(1), pp. 10-13, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | Neta Amit, Micha Hofri |
A Simple Semaphore-Queue Management for Multiprocessing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 14(3), pp. 13-15, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Joep L. W. Kessels, Alain J. Martin |
Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 8(2), pp. 67-71, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Tilak Agerwala |
Some Extended Semaphore Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 8, pp. 201-220, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Kishor S. Trivedi |
On a Semaphore Anomaly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 5(3), pp. 88-89, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
26 | Søren Lauesen |
A Large Semaphore Based Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 18(7), pp. 377-389, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
26 | S. Rao Kosaraju |
Limitations of Dijkstra's Semaphore Primitives and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourth Symposium on Operating System Principles, SOSP 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA, October 15-17, 1973, pp. 122-136, 1973, ACM. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Vantilborgh, Axel van Lamsweerde |
On an Extension of Dijkstra's Semaphore Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 1(5), pp. 181-186, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Xiao Peng, Yuanyuan Li, Wu Deng |
A Model of Distributed Interprocess Communication System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 276-279, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Cesare Ferri, R. Iris Bahar, Mirko Loghi, Massimo Poncino |
Energy-optimal synchronization primitives for single-chip multi-processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 141-144, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
synchronization, mpsoc, power optimization |
16 | Bing Guo, Yan Shen, Lei Zhang, Xiang Zhou |
Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 467-471, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy |
Energy efficient synchronization techniques for embedded architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 435-440, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, transactional memory |
16 | Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan |
Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2007, 23-25 April 2007, Napa, California, USA, pp. 301-304, 2007, IEEE Computer Society, 0-7695-2940-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva |
Failure Boundedness in Discrete Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 160-169, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets |
16 | Chun-tao Man, Peng Li, Yan Li |
Study of Priority Inversion in Embedded Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (3) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 217-219, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Su-Shin Ang, George A. Constantinides, Peter Y. K. Cheung, Wayne Luk |
A Flexible Multi-port Caching Scheme for Reconfigurable Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures and Applications, Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers, pp. 205-216, 2006, Springer. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 191-202, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
16 | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario |
Timed State Space Analysis of Real-Time Preemptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(2), pp. 97-111, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis |
16 | Avadora Dumitrescu |
Dynamic Widest Path Selection for Connection Admission Control in Core-Stateless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: 1st International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2004), 18-20 October 2004, Dallas, TX, USA, pp. 102-111, 2004, IEEE Computer Society, 0-7695-2233-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Joan Aranda, Pere Marès |
Visual System to Help Blind People to Cross the Street. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 454-461, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario |
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 279-286, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jinmin Yang, Dafang Zhang, Xue Dong Yang |
User-Level Implementation of Checkpointing for Multithreaded Applications on Windows NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 496-501, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Hai Jin 0001, Li Guo, Zongfen Han |
Global System Image Architecture for Cluster Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, pp. 665-675, 2003, Springer, 3-540-20054-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Masaru Takesue |
Software Queue-Based Algorithms for Pipelined Synchronization on Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 32nd International Conference on Parallel Processing Workshops (ICPP 2003 Workshops), 6-9 October 2003, Kaohsiung, Taiwan, pp. 115-122, 2003, IEEE Computer Society, 0-7695-2018-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
queue-based locks, algorithms, synchronization, Multiprocessors, pipelining |
16 | Sang-Wook Kim, Wan Choi, Byoung-Ho Kim |
Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 635-644, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
main-memory DBMSs, concurrency control, DBMSs, locking, latching |
16 | Carlos Juiz, Ramón Puigjaner, Harry G. Perros |
Performance Analysis of Pools in Soft Real-Time Design Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA, pp. 15-22, 2001, IEEE Computer Society, 0-7695-1315-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoping Liu, Xiao-Yun Liu, Zheng-Feng Hou, Xiao-Rong Du |
Research on Cooperative Template Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada, pp. 52-55, 2001, IEEE, 0660184931. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Carlos Juiz, Ramón Puigjaner, Ken Jackson |
Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Engineering ![In: Performance Engineering, State of the Art and Current Trends, pp. 300-316, 2001, Springer, 3-540-42145-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack |
The anthropology semaphores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 21-24, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Rong Lin, James L. Schwing |
A Non-binary Parallel Arithmetic Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 149-154, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Carlos Juiz, Ramón Puigjaner |
Queueing Analysis of Pools in Soft Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings, pp. 56-70, 2000, Springer, 3-540-67260-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andrés Terrasa, Ana García-Fornes |
Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. ![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. 434-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time synchronization, real-time operating systems, priority inheritance |
16 | Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura |
On-Chip Multimedia Real-Time OS and its MPEG-2 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. 200-203, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Real-Time OS, Embedded System LSI(System LSI), MPEG-2 Video, MPEG-2 Systems, Embedded Software, Multimedia Processing |
16 | Barry L. Kurtz, Hong Cai, Chris Plock, Xijia Chen |
A concurrency simulator designed for sophomore-level instruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 237-241, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
16 | Jordan Bonney, Ranga S. Ramanujan, Atiq Ahamad, Siddhartha Takkella, Kenneth J. Thurber |
Distributed Hardware Support for Process Synchronization in NSM Workstation Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANPC ![In: Communication and Architectural Support for Network-Based Parallel Computing, First International Workshop, CANPC '97, San Antonio, Texas, USA, February 1-2, 1997, Proceedings, pp. 144-157, 1997, Springer, 3-540-62573-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dominique Decouchant, P. Le Dot, Michel Riveill, Cécile Roisin, Xavier Rousset de Pina |
A synchronization mechanism for an object oriented distributed system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA, pp. 152-159, 1991, IEEE Computer Society, 0-8186-2144-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|