Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Pavel Parízek, Frantisek Plásil |
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks |
59 | Jennifer Tenzer, Perdita Stevens |
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(4), pp. 397-420, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks |
48 | C. Sashidhar, Sol M. Shatz |
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 460-466, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Transparency, RPC, Distributed Software, Callbacks |
46 | Weilei Zhang, Barbara G. Ryder |
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 63-74, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Michael Ruth, Feng Lin, Shengru Tu |
A Client-Side Framework Enabling Callbacks from Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 105-117, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Robert Cooper |
Experience with Causally and Totally Ordered Communication Support, A cautionary tale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(1), pp. 28-31, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Alexander D. Stoyenko |
SUPRA-RPC: SUbprogram PaRA meters in Remote Procedure Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 620-627, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Peter Thiemann 0001 |
Intrinsically Typed Sessions with Callbacks (Functional Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 711-739, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Peter Thiemann 0001 |
Intrinsically Typed Sessions With Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.01278, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv |
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(3), pp. 2256-2273, May - June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Andi Sunyoto, Yoga Pristyanto, Anggit Ferdita Nugraha |
Enhanced Classification of Potato Leaf Disease Using Xception and ReduceLROnPlateau Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IoTaIS ![In: IEEE International Conference on Internet of Things and Intelligence Systems, IoTaIS 2023, Bali, Indonesia, November 28-30, 2023, pp. 52-57, 2023, IEEE, 979-8-3503-1904-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip |
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 1494-1505, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Aditya Anand 0002 |
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH Companion ![In: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022, pp. 72-74, 2022, ACM, 978-1-4503-9901-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Michele Portolan, Vincent Reynaud, Paolo Maistri, Régis Leveugle, Giorgio Di Natale |
Security EDA Extension through P1687.1 and 1687 Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: IEEE International Test Conference, ITC 2021, Anaheim, CA, USA, October 10-15, 2021, pp. 344-353, 2021, IEEE, 978-1-6654-1695-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv |
Taming callbacks for smart contract modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 209:1-209:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Xiupeng Chen, Rongzeng Mu, Yuepeng Yan |
Automated identification of callbacks in Android framework using machine learning techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 10(4), pp. 301-312, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Akihiro Satoh, Yutaka Nakamura, Daiki Nobayashi, Takeshi Ikenaga |
Estimating the Randomness of Domain Names for DGA Bot Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 22(7), pp. 1378-1381, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Fei Wang 0046, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf |
Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada., pp. 10201-10212, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Yongfeng Li, Jinbin Ouyang, Bing Mao, Kai Ma, Shanqing Guo |
Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling and Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Security Safety ![In: EAI Endorsed Trans. Security Safety 4(11), pp. e2, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Marten Lohstroh, Hokeun Kim, Edward A. Lee |
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT Companion ![In: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT 2017 Companion, Seoul, Republic of Korea, October 15-20, 2017, pp. 14:1-14:2, 2017, ACM, 978-1-4503-5186-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Pablo Lamela Seijas, Simon J. Thompson |
Identifying and introducing interfaces and callbacks using Wrangler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016, pp. 11:1-11:13, 2016, ACM, 978-1-4503-4767-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Farhaan Fowze, Tuba Yavuz |
Specification, verification, and synthesis using extended state machines with callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 95-104, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Hao Tang, Xiaoyin Wang, Lingming Zhang 0001, Bing Xie, Lu Zhang 0023, Hong Mei 0001 |
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 83-95, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Keheliya Gallaba, Ali Mesbah 0001, Ivan Beschastnikh |
Don't Call Us, We'll Call You: Characterizing Callbacks in Javascript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2015, Beijing, China, October 22-23, 2015, pp. 247-256, 2015, IEEE Computer Society, 978-1-4673-7899-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev |
Static Control-Flow Analysis of User-Driven Callbacks in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pp. 89-99, 2015, IEEE Computer Society, 978-1-4799-1934-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Etienne Brodu, Stéphane Frénot, Frédéric Oblé |
Toward automatic update from callbacks to promises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWeS@EuroSys ![In: Proceedings of the 1st Workshop on All-Web Real-Time Systems, AWeS@EuroSys 2015, Bordeaux, France, April 21, 2015, pp. 1:1-1:8, 2015, ACM, 978-1-4503-3477-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Rebecca A. Scott, Benjamin T. George |
Evaluating healthcare process improvement for patient callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serv. Stand. ![In: Int. J. Serv. Stand. 9(1), pp. 51-66, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Jan Broeckhove, Kurt Vanmechelen |
An adaptor for C++ callbacks with C and Fortran libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 184(3), pp. 824-832, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Etienne Kneuss, Viktor Kuncak, Philippe Suter |
Effect Analysis for Programs with Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, pp. 48-67, 2013, Springer, 978-3-642-54107-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Stavros Aronis, Konstantinos Sagonas |
Typed callbacks for more robust behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, pp. 23-29, 2011, ACM, 978-1-4503-0859-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jeff A. Stuart, Michael Cox, John D. Owens |
GPU-to-CPU Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers, pp. 365-372, 2010, Springer, 978-3-642-21877-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Michael Ruth, Feng Lin, Shengru Tu |
A Framework for Applications Utilizing Web Services with Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 829-830, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ari Jaaksi |
Type-Safe Callbacks with Abstract Partners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Proceedings of the 1996 International Conference on Object Oriented Information Systems, OOIS 1996, London, UK, December 16-18, 1996, pp. 93-105, 1996, Springer, 3-540-76132-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Abbas Heydarnoori, Krzysztof Czarnecki 0001, Thiago T. Bartolomei |
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 344-368, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang |
Static data race detection for concurrent programs with asynchronous calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 13-22, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asynchronous programs, static data race detection, bootstrapping, pointer analysis |
17 | Jana Giceva, Christoph Lange 0002, Florian Rabe 0001 |
Integrating Web Services into Active Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 279-293, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Marchetto 0001, Filippo Ricca, Paolo Tonella |
A case study-based comparison of web testing techniques applied to AJAX web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(6), pp. 477-492, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Software testing, Web applications, AJAX, State-based testing |
17 | Scott McMaster, Atif M. Memon |
Call-Stack Coverage for GUI Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(1), pp. 99-115, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Test coverage of code, Testing tools, Testing strategies, Test management |
17 | Alessandro Marchetto 0001, Paolo Tonella, Filippo Ricca |
State-Based Testing of Ajax Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 121-130, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Testing, Web Application, AJAX, State-based Testing |
17 | Andreas Both 0001, Wolf Zimmermann |
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 163-179, 2008, Springer, 978-3-540-87890-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Michael Dunlavey |
Lightweight Coding of Structurally Varying Dialogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 149-154, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Differential execution, Incremental computation |
17 | Iason Kastanis, Simon R. Arridge, Alex Stewart, Spencer Gunn, Christer Ullberg, Tom Francke |
3D Digital Breast Tomosynthesis Using Total Variation Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Mammography / IWDM ![In: Digital Mammography, 9th International Workshop, IWDM 2008, Tucson, AZ, USA, July 20-23, 2008, Proceedings, pp. 621-627, 2008, Springer, 978-3-540-70537-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob |
A CSP model of Eiffel's SCOOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(4), pp. 487-512, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SCOOP, Formal methods, Concurrency, Programming languages, Eiffel |
17 | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
Tasks: language support for event-driven programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 134-143, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lorenz Froihofer, Johannes Osrael, Karl M. Göschka |
Middleware/application interactions to support adaptive dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAI ![In: Proceedings of the 1st Workshop on Middleware-Application Interaction, MAI 2007, in conjunction with Euro-Sys 2007, Lisbon, Portugal, March 20, 2007, pp. 31-36, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraint consistency, middleware/application interaction, integrity, web, dependability, replication, availability |
17 | Roman Obermaisser |
Reuse of CAN-Based Legacy Applications in Time-Triggered Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(4), pp. 255-268, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kim M. Hazelwood, Robert S. Cohn |
A Cross-Architectural Interface for Code Cache Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 26-29 March 2006, New York, New York, USA, pp. 17-27, 2006, IEEE Computer Society, 0-7695-2499-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Scott McMaster, Atif M. Memon |
Call Stack Coverage for GUI Test-Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, pp. 33-44, 2006, IEEE Computer Society, 0-7695-2684-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Caroline Appert, Michel Beaudouin-Lafon |
SwingStates: adding state machines to the swing toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, Montreux, Switzerland, October 15-18, 2006, pp. 319-322, 2006, ACM, 1-59593-313-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
java swing, toolkit, state machine, widget |
17 | Anindya Banerjee 0001, David A. Naumann |
State Based Ownership, Reentrance, and Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 387-411, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko |
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, pp. 68-83, 2005, Springer, 3-540-29103-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract |
17 | Levon Stepanian, Angela Demke Brown, Allan Kielstra, Gita Koblents, Kevin Stoodley |
Inlining java native calls at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 121-131, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
native code, Java, JIT compilation, inlining, JNI |
17 | Stephen McCamant, Michael D. Ernst |
Early Identification of Incompatibilities in Multi-component Upgrades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 440-464, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jun Li 0008, Keith Moore |
Exploiting Global Causality in Testing of Distributed and Component-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 527, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Richard Carlsson |
Parameterized modules in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 29-35, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Peter Thiemann 0001 |
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 192-208, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CGI Programming, Haskell, Monads |
17 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 209-224, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
17 | Harri Hakula, Juha Ruokolainen, Jouni Malinen |
HUTI: Framework for Iterative Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings, pp. 339-350, 2002, Springer, 3-540-43786-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Amir Michail |
Browsing and searching source code of applications written using a GUIframework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 327-337, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | George F. Riley, Mostafa H. Ammar, Richard M. Fujimoto, Donghua Xu, Kalyan S. Perumalla |
Distributed Network Simulations Using the Dynamic Simulation Backplane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 181-188, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kevin A. Schneider, James R. Cordy |
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers, pp. 28-48, 2001, Springer, 3-540-42807-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Amsaleg, Michael J. Franklin, Olivier Gruber |
Garbage collection for a client-server persistent object store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 17(3), pp. 153-201, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
recovery, client-server system, logging, persistent object-store |
17 | Bruno Schulze, Edmundo R. M. Madeira |
Migration Transparency in Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 320-323, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distribution transparencies, mobility, availability, agent systems |
17 | Grzegorz Czajkowski, Thorsten von Eicken |
JRes: A Resource Accounting Interface for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 21-35, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, resource management, extensible systems |
17 | Kari Alho, Casper Lassenius, Reijo Sulonen |
A Uniform Model for Coordinating Software Development Activities Kari Alho, Casper Lassenius and Reijo Sulonen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 389-390, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Michael D. Schroeder |
Software clercks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|