Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Liang Zhou 0004, Pikul Sarkar, Shantanu Chakrabartty |
Scavenging thermal-noise energy for implementing long-term self-powered CMOS timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), Beijing, China, May 19-23, 2013, pp. 2203-2206, 2013, IEEE, 978-1-4673-5760-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Joachim Fabini, Michael Hirschbichler, Jiri Kuthan, Werner Wiedermann |
Mobile SIP: An Empirical Study on SIP Retransmission Timers in HSPA 3G Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUNICE ![In: Advances in Communication Networking - 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings, pp. 78-89, 2013, Springer, 978-3-642-40551-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Rajvir Gill, Ravinder Paul, Ljiljana Trajkovic |
Effect of MRAI timers and routing policies on BGP convergence times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: 31st IEEE International Performance Computing and Communications Conference, IPCCC 2012, Austin, TX, USA, December 1-3, 2012, pp. 314-323, 2012, IEEE Computer Society, 978-1-4673-4881-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
Behavioural Equivalences over Migrating Processes with Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, pp. 52-66, 2012, Springer, 978-3-642-30792-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001 |
Formalisation and verification of programmable logic controllers timers in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 5(1), pp. 32-42, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Antônio Augusto Fröhlich, Giovani Gracioli, João Felipe Santos |
Periodic timers revisited: The real-time embedded system perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 37(3), pp. 365-375, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Bhanu Chandra Vattikonda, Sambit Das, Hovav Shacham |
Eliminating fine grained timers in Xen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCSW ![In: Proceedings of the 3rd ACM Cloud Computing Security Workshop, CCSW 2011, Chicago, IL, USA, October 21, 2011, pp. 41-46, 2011, ACM, 978-1-4503-1004-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario |
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 131-140, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking |
23 | Maria Pohronska, Tibor Krajcovic |
FPGA implementation of multiple hardware watchdog timers for enhancing real-time systems security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCON ![In: Proceedings of EUROCON 2011, International Conference on Computer as a Tool, 27-29 April 2011, Lisbon, Portugal, pp. 1-4, 2011, IEEE. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Alireza Attar, Natasha Devroye, Haoming Li 0001, Victor C. M. Leung |
A Unified Scheduling Framework Based on Virtual Timers for Selfish-Policy Shared Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2010, Cape Town, South Africa, 23-27 May 2010, pp. 1-5, 2010, IEEE, 978-1-4244-6402-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel Ciobanu, Calin Juravle |
Mobile Agents with Timers, and Their Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010, pp. 229-239, 2010, 978-3-642-15210-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Raul Barbosa |
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010, pp. 131-140, 2010, IEEE Computer Society, 978-0-7695-4250-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring |
23 | Bogdan Aman, Gabriel Ciobanu |
Mutual Mobile Membranes with Timers ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPMOD ![In: Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Michael Kuperberg, Martin Krogmann, Ralf H. Reussner |
TimerMeter: Quantifying Properties of Software Timers for System Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 85-94, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
invocation cost, timer method, software timer, accuracy, resolution, precision, Timer |
23 | Anthony Lambert, Marc-Olivier Buob, Steve Uhlig |
Improving internet-wide routing protocols convergence with MRPC timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technology, CoNEXT 2009, Rome, Italy, December 1-4, 2009, pp. 325-336, 2009, ACM, 978-1-60558-636-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Øyvind Teig, Per Johan Vannebo |
New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 135-144, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Tim Martin, Jon M. Houck, Dubravko Kicic, Claudia D. Tesche |
Interval timers and coupled oscillators both mediate the effect of temporally structured cueing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 40(4), pp. 1798-1806, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Fang Wang, Shanzhi Chen, Xin Li 0063, Yuhong Li |
A Route Flap Suppression Mechanism Based on Dynamic Timers in OSPF Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2154-2159, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Ortiz, María Brox, Francisco Javier Quiles-Latorre, Andrés Gersnoviez, Carlos Diego Moreno-Moreno, M. Montijano |
Using soft processors for component design in SOC: A case-study of timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: 2008 IEEE International Symposium on System-on-Chip, SOC 2008, Tampere, Finland, November 5-6, 2008, pp. 1-4, 2008, IEEE, 978-1-4244-2541-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Felix Espina, Daniel Morató, Mikel Izal, Eduardo Magaña |
The effect of burst formation timers on video streaming over optical burst switched networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 5th International ICST Conference on Broadband Communications, Networks, and Systems, BROADNETS 2008, London, UK, September 8-11, 2008, pp. 282-289, 2008, IEEE, 978-1-4244-2391-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ioannis Psaras, Vassilis Tsaoussidis |
Why TCP timers (still) don't work well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 51(8), pp. 2033-2048, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Andreea Maria Picu, Antoine Fraboulet, Eric Fleury |
On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0709.2618, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Gabriel Ciobanu, Cristian Prisacariu |
Coordination by Timers for Channel-Based Anonymous Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006, pp. 3-17, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel Ciobanu, Cristian Prisacariu |
Timers for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006, pp. 81-99, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Juan Carlos Gomez, Jorge R. Ramos, Vernon Rego |
Signals, timers, and continuations for multithreaded user-level protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 36(5), pp. 449-471, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Steve Donovan, Jonathan D. Rosenberg |
Session Timers in the Session Initiation Protocol (SIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4028, pp. 1-27, April 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko |
Timing Fault Models for Systems with Multiple Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 192-208, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timer Constraints, Fault Modeling, Timed Automata, Conformance Testing, Multiple Faults |
23 | Shivani Deshpande, Biplab Sikdar 0001 |
On the impact of route processing and MRAI timers on BGP convergence times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November - 3 December 2004, pp. 1147-1151, 2004, IEEE, 0-7803-8794-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Michael González Harbour, Mario Aldea Rivas |
Managing multiple execution-time timers from a single task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003, pp. 28-31, 2003, ACM, 978-1-4503-7446-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Xiao Xu, Yi-Chiun Chen, Hua Xu, Eren Gonen, Peijuan Liu |
Parallel and distributed systems: simulation analysis of RLC timers in UMTS systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 506-512, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Merav Shomrony, Uri Yechiali |
Burst arrival queues with server vacations and random timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 53(1), pp. 117-146, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Joanne O. Crawford, Chris Taylor, Nicolas Li Wan Po |
A Case Study of On-Screen Prototypes and Usability Evaluation of Electronic Timers and Food Menu Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 13(2), pp. 187-201, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Rohit Dube |
Scalable Hierarchical Coarse-grained Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 34(1), pp. 11-20, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale |
Test Generation in the Presence of Conflicting Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 301-, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
23 | Richard E. Matick |
Modular nets (MNETS): A modular design methodology for computer timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 42(6), pp. 813-830, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Anne Bergeron |
On the Rational Behaviors of Concurrent Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 189(1-2), pp. 229-237, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Puneet Sharma, Deborah Estrin, Sally Floyd, Van Jacobson |
Scalabel Timers for Soft State Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997, pp. 222-229, 1997, IEEE Computer Society, 0-8186-7780-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Sorel Reisman |
Old-Timers and Upstarts Chime in with New Telephony Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(3), pp. 103-104, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Kin K. Leung, David M. Lucantoni |
Two Vacation Models for Token-Ring Networks where Service is Controlled by Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 20(1-3), pp. 165-184, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Evgenii I. Volkov, Maksim N. Stolyarov |
Temporal variability in a system of coupled mitotic timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 71(5), pp. 451-459, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Savage, Hideyuki Tokuda |
Real Time - Mach Timers: Exporting Time to the User. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX MACH Symposium ![In: USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, pp. 111-118, 1993, USENIX, 1-880446-49-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
23 | Pat Helland, Harald Sammer, Jim Lyon, Richard Carr, Phil Garrett, Andreas Reuter 0001 |
Group Commit Timers and High Volume Transaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPTS ![In: High Performance Transaction Systems, 2nd International Workshop, Asilomar Conference Center, Pacific Grove, California, USA, September 28-30, 1987, Proceedings, pp. 301-329, 1987, Springer, 3-540-51085-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
12 | Gianpaolo Cugola, Alessandro Margara |
TESLA: a formally defined event specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010, pp. 50-61, 2010, ACM, 978-1-60558-927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Laura Carnevali, Leonardo Grassi, Enrico Vicario |
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(2), pp. 178-194, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yu Zhang, Bharat K. Bhargava |
Self-Learning Disk Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 21(1), pp. 50-65, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Daum 0001, Jan Dörrenbächer, Burkhart Wolff |
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(2-4), pp. 349-388, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL |
12 | Pascale Minet, Saoucene Mahfoudh |
Cross layering in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 154-159, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
node activity scheduling, wireless sensor networks, energy efficiency, cross layer, OLSR, energy efficient routing |
12 | Vijay Vasudevan, Amar Phanishayee, Hiral Shah, Elie Krevat, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Brian Mueller |
Safe and effective fine-grained TCP retransmissions for datacenter communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2009 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Barcelona, Spain, August 16-21, 2009, pp. 303-314, 2009, ACM, 978-1-60558-594-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
datacenter networks, incast, performance, throughput |
12 | Riccardo Poli, Nicholas Freitag McPhee |
Introduction to genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2775-2810, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, genetic programming, gp, evolutionary computation |
12 | Kwangok Jeong, Andrew B. Kahng, Hailong Yao |
Revisiting the linear programming framework for leakage power vs. performance optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA, pp. 127-134, 2009, IEEE Computer Society, 978-1-4244-2952-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Tuan-Dung Nguyen, Thaere Eido, Tülin Atmaca |
DCUM: dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 89, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fixed-size optical payloads, quality of service (QoS) management, synchronous optical packet switching (OPS) networks, simulation |
12 | Paolo Medagliani, Gianluigi Ferrari 0001, Gianpietro Germi, Fabio Cappelletti |
Simulation-assisted analysis and design of STP-based networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 53, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | George Xylomenos, Michael Makidis |
Link Layer Adaptation for Shared Wireless Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 13(3-4), pp. 259-273, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptive selective repeat, radio link control, link layer protocols |
12 | Jens Doleschal, Andreas Knüpfer, Matthias S. Müller, Wolfgang E. Nagel |
Internal Timer Synchronization for Parallel Event Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 202-209, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance analysis, clock synchronization, Event tracing |
12 | Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu |
Using Soft-Line Recursive Response to Improve Query Aggregation in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 2309-2316, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Debasish Das, Kip Killpack, Chandramouli V. Kashyap, Abhijit Jas, Hai Zhou 0001 |
Pessimism reduction in coupling-aware static timing analysis using timing and logic filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 486-491, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Nityananda Sarma, Aditya Singh, Sukumar Nandi |
A Strict Priority Based QoS-Aware MAC Protocol for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, 5th International Conference, ICDCIT 2008, New Delhi, India, December 10-12, 2008. Proceedings, pp. 121-132, 2008, Springer, 978-3-540-89736-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Real-time and best-effort traffic, Quality of Service (QoS), Mobile Ad Hoc Networks (MANETs), Medium Access Control |
12 | Qiming Chen, Meichun Hsu |
Data-Continuous SQL Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 175-192, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Marina Biberstein, Yuval Harel, Andre Heilper |
Clock Synchronization in Cell BE Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 3-12, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Chieh-Jan Mike Liang, Razvan Musaloiu-Elefteri, Andreas Terzis |
Typhoon: A Reliable Data Dissemination Protocol for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSN ![In: Wireless Sensor Networks, 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings, pp. 268-285, 2008, Springer, 978-3-540-77689-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Grau, Steffen Maier, Klaus Herrmann 0001, Kurt Rothermel |
Time Jails: A Hybrid Approach to Scalable Network Emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 7-14, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Osmar Marchi dos Santos, Andy J. Wellings |
Run Time Detection of Blocking Time Violations in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings, pp. 347-356, 2008, IEEE Computer Society, 978-0-7695-3349-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Satish Kharat, Rajeev Mishra, Ranadip Das, Srikanth Vishwanathan |
Migration of software partition in UNIX system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bangalore Compute Conf. ![In: Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008, pp. 22, 2008, ACM, 978-1-59593-950-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Pierre Sens 0001, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon, Fabíola Greve |
An Unreliable Failure Detector for Unknown and Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 555-559, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobile Ambients for Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 234-250, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Becker 0001, Rolf Rabenseifner, Felix Wolf 0001 |
Implications of non-constant clock drifts for the timestamps of concurrent events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September - 1 October 2008, Tsukuba, Japan, pp. 59-68, 2008, IEEE Computer Society, 978-1-4244-2640-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ping Ji 0002, Zihui Ge, Jim Kurose, Donald F. Towsley |
A comparison of hard-state and soft-state signaling protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 15(2), pp. 281-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
communication system signaling, hard-state, performance evaluation, soft-state |
12 | Avishag Gordon |
Transient and continuant authors in a research field: The case of terrorism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 72(2), pp. 213-224, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan |
A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 71-78, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader |
12 | Eric C. Noel, Carolyn R. Johnson |
Initial Simulation Results That Analyze SIP Based VoIP Networks Under Overload. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings, pp. 54-64, 2007, Springer, 978-3-540-72989-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SIP signaling congestion control, internal overload controls, external overload controls, simulation, throughput, goodput |
12 | Jordi Mongay Batalla, Robert Janowski |
Provisioning Dedicated Class of Service for Reliable Transfer of Signaling Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings, pp. 853-864, 2007, Springer, 978-3-540-72989-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
setup latency, QoS, SIP, Signaling, Class of Service |
12 | Luigi Sassoli, Enrico Vicario |
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 59-68, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Siddharth Choudhuri, Tony Givargis |
System Architecture for Software Peripherals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 56-61, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user-level tasks, software peripherals, MIPS processor, design methodology, system architecture, design alternative, scheduling scheme, general purpose processors |
12 | Martin Berger 0001, Nobuko Yoshida |
Timed, Distributed, Probabilistic, Typed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 158-174, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | George Xylomenos, Michael Makidis |
Adaptive link layer protocols for shared wireless links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 3rd International Conference on Mobile Multimedia Communications, MobiMedia 2007, Nafpaktos, Greece, August 27-29, 2007, pp. 35, 2007, ICST, 978-963-06-2670-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
selective repeat, UMTS, link layer, RLC |
12 | Siwaruk Siwamogsatham |
Improving CSMA for WLANs via Piggybacking and Scheduled Backoff Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCN (1) ![In: Future Generation Communication and Networking, FGCN 2007, Ramada Plaza Jeju, Jeju-Island, Korea, December 6-8, 2007, Proceedings, pp. 557-563, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dylan Stark, Gabrielle Allen, Tom Goodale, Thomas Radke, Erik Schnetter |
An Extensible Timing Infrastructure for Adaptive Large-Scale Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1170-1179, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Fernández Anta, Michel Raynal |
From an Intermittent Rotating Star to a Leader. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings, pp. 189-203, 2007, Springer, 978-3-540-77095-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Assumption coverage, Eventual t-source, Moving source, Timely link, Fault-tolerance, Distributed algorithm, System model, Asynchronous system, Failure detector, Process crash, Partial synchrony, Omega, Message pattern, Eventual leader |
12 | Robert J. Hall 0001 |
Rteq: modeling and validating infinite-state hard-real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 481-484, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time |
12 | Kyriakos Vlachos |
Burstification effect on the TCP synchronization and congestion window mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: Fourth International Conference on Broadband Communications, Networks and Systems, (BROADNETS 2007), 10-14 September 2007, Raleigh, North-Carolina, USA, pp. 24-28, 2007, IEEE, 978-1-4244-1432-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
Handling Temporal Faults in Ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 15-28, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mario Aldea Rivas, José F. Ruiz |
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 29-40, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Compilers, POSIX, Ada 2005 |
12 | Stephan Bohacek, João Pedro Hespanha, Junsoo Lee, Chansook Lim, Katia Obraczka |
A new TCP for persistent packet reordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(2), pp. 369-382, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
congestion control, TCP/IP, transport protocols, packet reordering |
12 | Aad P. A. van Moorsel, Katinka Wolter |
Analysis of Restart Mechanisms in Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 547-558, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
time-out, performance and reliability modeling, adaptive systems, fault-tolerant systems, self-management, software rejuvenation, Restart, completion time |
12 | Tony Spiteri Staines |
Using a Timed Petri Net (TPN) to Model a Bank ATM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 151-158, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Xiaotong Zhuang, Santosh Pande |
Effective thread management on network processors with compiler analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 72-82, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
real-time scheduling, compiler optimizations, network processors, CPU scheduling |
12 | Xue-Yu Hong, Ling Zhang, Jinlong Hu |
New Scheme of Implementing Real-Time Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 67, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
real-time Linux, timer mechanism, interrupt handler |
12 | Farn Wang |
REDLIB for the Formal Verification of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 341-346, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Lynnell Lacy, Laurie A. Sutch |
Working collaboratively in the big ten and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, Edmonton, Alberta, Canada, November 5-8, 2006, pp. 188-190, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human networking, collaborating, training, partnering |
12 | Lijun Wang, Ke Xu 0002, Jianping Wu |
A Variation of Route Flap Damping to Improve BGP Routing Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: Quality of Service - IWQoS 2006: 14th International Workshop, IWQoS 2006, New Haven, CT, USA, 19-21 June 2006, Proceedings, pp. 297-301, 2006, IEEE, 1-4244-0476-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Gerald Wagenknecht, Daniel Dietterle, Jean-Pierre Ebert, Rolf Kraemer |
Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSN ![In: Wireless Sensor Networks, Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings, pp. 228-243, 2006, Springer, 3-540-32158-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tai Hyo Kim, Sung Deok Cha |
Timed High-Level Message Sequence Charts for Real-Time System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, pp. 82-98, 2006, Springer, 3-540-68371-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Guang Lu, YongChao Wang, Miaoliang Zhu |
XRMCCP: A XCP Framework Based Reliable Multicast Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part II, pp. 254-263, 2006, Springer, 3-540-45907-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bin Yu 0010, Cha Zhang, Yong Rui, Klara Nahrstedt |
A Three-Layer Virtual Director Model for Supporting Automated Multi-Site Distributed Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2006 IEEE International Conference on Multimedia and Expo, ICME 2006, July 9-12 2006, Toronto, Ontario, Canada, pp. 637-640, 2006, IEEE Computer Society, 1-4244-0367-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Greg Hoover, Forrest Brewer, Timothy Sherwood |
A case study of multi-threading in the embedded space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 357-367, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-threading, embedded architecture |
12 | Venkata Nishanth Lolla, Lap Kong Law, Srikanth V. Krishnamurthy, Chinya V. Ravishankar, Dharmaiah Manjunath |
Detecting MAC Layer Back-off Timer Violations in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal, pp. 63, 2006, IEEE Computer Society, 0-7695-2540-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Nicholas Jun Hao Ip, Stephen A. Edwards |
A Processor Extension for Cycle-Accurate Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings, pp. 449-458, 2006, Springer, 3-540-36679-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sven Magg, Andrew Philippides |
GasNets and CTRNNs - A Comparison in Terms of Evolvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings, pp. 461-472, 2006, Springer, 3-540-38608-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | José Rufino, Paulo Veríssimo, Carlos Almeida 0002, Guilherme Arroz |
Integrating Inaccessibility Control and Timer Management in CANELy. ![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. 348-355, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Nicola Blefari-Melazzi, Mauro Femminella, F. Pugini |
A Layer 3 Movement Detection Algorithm Driving Handovers in Mobile IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 11(3), pp. 223-233, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mobile IP handover, movement detection, overlapping coverage areas, cell switching |