|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1751 occurrences of 1181 keywords
|
|
|
Results
Found 3382 publication records. Showing 3382 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Himanshu Thapliyal, Nagarajan Ranganathan |
Conservative QCA Gate (CQCA) for Designing Concurrently Testable Molecular QCA Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2009: Improving Productivity through Higher Abstraction, The 22nd International Conference on VLSI Design, New Delhi, India, 5-9 January 2009, pp. 511-516, 2009, IEEE Computer Society, 978-0-7695-3506-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Hans-Juergen Boehm |
Space efficient conservative garbage collection (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 490-501, 1993, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
56 | Julien Cojan, Jean Lieber |
Conservative Adaptation in Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conservative adaptation, case representation, adaptation, belief revision, metric spaces |
56 | Jean Lieber |
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007, Proceedings, pp. 239-253, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning |
56 | Mary L. Bailey, Michael A. Pagels |
Empirical Measurements of Overheads in Conservative Asynchronous Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 4(4), pp. 350-367, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
conservative asynchronous simulation, null messages, overhead measurement, parallel processing, discrete-event simulation |
53 | Ellen Sentovich |
Quick Conservative Causality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 10th International Symposium on System Synthesis, ISSS '97, Antwerp, Belgium, September 17-19, 1997., pp. 2-8, 1997, ACM / IEEE Computer Society, 0-8186-7949-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
quick conservative causality analysis, causality problem, standard logic synthesis techniques, combinational circuits, combinational circuit, conservative algorithm |
51 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 31(1), pp. 1-33, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
49 | Miklós Ferenczi |
On Conservative Extensions in Logics with Infinitary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(1), pp. 121-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conservative extension, infinitary predicates, algebraic logic |
49 | Siming Lin, Xueqi Cheng, Jianming Lv |
State Causality Analysis of Conservative Parallel Network Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 251-260, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance evaluation, speedup, parallel efficiency, critical path analysis, conservative simulation |
49 | Gustavo Rodriguez-Rivera, Michael Spertus, Charles Fiterman |
Conservative Garbage Collection for General Memory Allocators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, USA, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings, pp. 71-79, 2000, ACM, 1-58113-263-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
automatic memory management, memory allocation, conservative garbage collection |
46 | Florent Bouchez, Alain Darte, Fabrice Rastello |
Advanced conservative and optimistic register coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 147-156, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coloring number, greedy-k-colorable graph, register allocation, chordal graph, register coalescing |
46 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Designing a Multilayer Feedforward Ensemble with the Weighted Conservative Boosting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 684-689, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker |
Combining Generational and Conservative Garbage Collection: Framework and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 261-269, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Jinsheng Xu, Jinghua Zhang |
Efficiently unifying parallel simulation techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 228-232, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GVT, synchronous simulation, discrete event simulation, parallel simulation, time warp, optimistic simulation, state saving, conservative simulation |
43 | Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy |
Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
null message algorithm, discrete event simulation, parallel systems, conservative algorithms |
43 | Siming Lin, Xueqi Cheng, Jianming Lv |
Micro-Synchronization in Conservative Parallel Network Simulation. ![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. 195-202, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel network simulation, lookahead, logical process, conservative synchronization |
43 | György Korniss, Mark A. Novotny, A. K. Kolakowska, Hasan Guclu |
Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 132-137, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conservative parallel discrete-event simulation, non-equilibrium surface growth, scalability, stochastic processes, Monte Carlo |
43 | Toshio Endo, Kenjiro Taura |
Reducing pause time of conservative collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 119-131, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
memory management, concurrent garbage collection, parallel garbage collection, conservative garbage collection |
43 | Rajive L. Bagrodia, Mineo Takai |
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(4), pp. 395-411, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
parallel simulation languages, Discrete-event simulation, lookahead, parallel and distributed simulation, conservative algorithms, algorithmic efficiency |
43 | Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary |
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, PADS '99, Atlanta, GA, USA, May 1-4, 1999, pp. 20-28, 1999, IEEE Computer Society, 0-7695-0155-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation |
43 | Azzedine Boukerche, Sajal K. Das 0001 |
A Dynamic Load Balancing Algorithm for Conservative Parallel Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1997, Proceedings of the Fifth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, January 12-15, 1997 Haifa, Israel, pp. 32-37, 1997, IEEE Computer Society, 0-8186-7758-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dynamic load balancing algorithm, conservative parallel simulation, distributed system efficiency, Chandy-Misra null-messages, workload parameters, process migration mechanism, CPU-queue length, first-come, first-served queueing network models, Intel Paragon A4, performance, resource allocation, multicomputer, synchronization protocol |
43 | Joel F. Hurford, Thomas C. Hartrum |
Improving Conservative VHDL Simulation Performance by Reduction of Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 196-201, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel simulation, circuit simulation, conservative simulation |
43 | David M. Nicol |
Conservative Parallel Simulation of Priority Class Queuing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 294-303, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
priority class, conservative synchronization protocol, parallelsimulation, parallel algorithms, protocols, queueing theory, queuing networks |
39 | Carsten Lutz, Frank Wolter |
Conservative Extensions in the Lightweight Description Logic EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 84-99, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Averaged Conservative Boosting: Introducing a New Method to Build Ensembles of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I, pp. 309-318, 2007, Springer, 978-3-540-74689-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Ludmila I. Kuncheva |
Error Bounds for Aggressive and Conservative AdaBoost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, 4th International Workshop, MCS 2003, Guilford, UK, June 11-13, 2003, Proceedings, pp. 25-34, 2003, Springer, 3-540-40369-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Ha Yoon Song, Sung Hyun Cho, Sang-Yong Han |
A Null Message Count of a Conservative Parallel Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks, pp. 493-508, 2002, Springer, 3-540-00852-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Hans-Juergen Boehm |
Space Efficient Conservative Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 197-206, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, SPARC, Cedar |
37 | Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson |
Parallel shared-memory simulator performance for large ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 10(4), pp. 358-391, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ATM network modeling, time warp, parallel discrete event simulation, optimistic synchronization, conservative synchronization |
37 | Edwin Naroska |
Parallel VHDL Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 159-163, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Conservative Parallel VHDL simulation, parallel discrete event simulation, PDES |
36 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón |
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. ![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. 45-58, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Conservative retraction, Independence Rule, boolean derivatives |
36 | Long Zhang 0001, Wei Chen 0001, David S. Ebert, Qunsheng Peng 0001 |
Conservative voxelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(9-11), pp. 783-792, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conservative correctness, GPU, Voxelization |
36 | Roger Curry, Cameron Kiddle, Rob Simmonds, Brian W. Unger |
Sequential Performance of Asynchronous Conservative PDES Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 19th Workshop on Parallel and Distributed Simulation, PADS 20055, Monterey, CA, USA, June 1-3, 2005, pp. 217-226, 2005, IEEE Computer Society, 0-7695-2383-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Sequential Discrete Event Simulation, Parallel Discrete Event Simulation, Conservative Synchronization |
36 | Barry Merriman |
Understanding the Shu-Osher Conservative Finite Difference Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 19(1-3), pp. 309-322, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
conservative finite difference, essentially non-oscillatory, ENO, conservation law |
36 | Viliam Solcany, Jirí Safarík |
The lookahead in a user-transparent conservative parallel simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 16th Workshop on Parallel and Distributed Simulation, PADS 2002, Washington, D.C., USA, May 12-15, 2002, pp. 11-16, 2002, IEEE Computer Society, 0-7695-1608-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Conservative Parallel Simulation, User-transparency, Reusability, Lookahead |
36 | James T. Klosowski, Cláudio T. Silva |
Efficient Conservative Visibility Culling Using the Prioritized-Layered Projection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 7(4), pp. 365-379, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Conservative visibility, interactive rendering, occlusion culling |
36 | JunHyeok Heo, Jaeho Kim, KwangYun Wohn |
Conservative visibility preprocessing for walkthroughs of complex urban scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2000, Seoul, South Korea, October 22-25, 2000., pp. 115-128, 2000, ACM, 1-58113-316-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Conservative Visibility, Occlusion Culling, Visibility Determination, Visibility Preprocessing |
36 | James B. Hiller, Thomas C. Hartrum |
Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, PADS '97, Lockenhaus, Austria, June 10-13, 1997, pp. 12-19, 1997, IEEE Computer Society, 0-8186-7965-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization |
36 | Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz |
Distributed Simulation of ECATNets: A Conservative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 518-525, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ECATNets, conservative approach, extended concurrent algebraic term nets, high-level algebraic nets, distributed systems specification, parallel systems specification, parallel simulation techniques, distributed discrete event simulation, partitioned model, connected subnets, distributed algorithms, discrete event simulation, process algebra, logical processes |
36 | V. Sanchez, Alfredo Bautista, Francisco Tirado |
Deblocking Event Algorithm: A New Approach to Conservative Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 510-517, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
conservative parallel discrete event simulation, distributed event driven simulation, deblocking event algorithm, simulation network structural properties, overhead reduction, network activity, parallel algorithms, discrete event simulation, synchronisation |
36 | Jörg Keller 0001, Thomas Rauber, Bernd Rederlechner |
Conservative Circuit Simulation on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 126-134, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiprefix operation, speedup estimation, shared memory multiprocessor, parallel random access machine (PRAM), circuit simulation, conservative simulation |
36 | Xiaohan Qin, Jean-Loup Baer |
A comparative study of conservative and optimistic trace-driven simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 42-50, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimistic trace-driven simulations, conservative trace-driven simulations, parallel trace driven simulation, parallel simulation schemes, shared references, Time Warp like algorithm, debugging effort, general architectural simulation, optimistic scheme, parallel algorithms, parallel architectures, virtual machines, multiprocessing systems, multiprocessor systems, memory hierarchy, memory architecture, comparative study, time warp simulation |
36 | Philip Heidelberger, David M. Nicol |
Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(8), pp. 906-921, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
queueing networkmodels, conservative parallelsimulation algorithm, Intel iPSC/2 hypercube, Markovprocesses, parallel algorithms, parallel algorithms, discrete event simulation, queueing theory, communications systems, distributed computing systems, uniformization, continuous time Markov chains |
36 | David M. Nicol |
The Cost of Conservative Synchronization in Parallel Discrete Event Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(2), pp. 304-333, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
conservative synchronization |
34 | Shyam Kapur, Gianfranco Bilardi |
Language Learning without Overgeneralization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 245-256, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai |
Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2008, April 20-22, 2008, Austin, Texas, USA, Proceedings, pp. 32-43, 2008, IEEE Computer Society, 978-1-4244-2232-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Sheng Xu, Leon F. McGinnis |
Optimistic-conservative synchronization in distributed factory simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1069-1074, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 155-164, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
33 | Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Speculative Beats Conservative Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 150-165, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Ha Yoon Song |
A probabilistic performance model for conservative simulation protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the 15th Workshop on Parallel and Distributed Simulation, PADS 2001, Lake Arrowhead, California, USA, May 15-18, 2001, pp. 200-207, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Dragos Lungeanu, C.-J. Richard Shi |
Distributed simulation of VLSI systems via lookahead-free self-adaptive optimistic and conservative synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 500-504, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | |
Self-collision Detection for Rigid Non-convex Multi-link Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 91-100, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Self-collision detection, non-convex multi-link model, surface convex decomposition, conservative advancement, temporal culling |
30 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Orthogonal Extensions in Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1214-1225, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality |
30 | António Nogueira, Paulo Salvador 0001, Rui Valadas, António Pacheco 0001 |
Modeling Network Traffic with Multifractal Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 24(2-4), pp. 339-362, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiscaling, fractional Gaussian noise, conservative cascade, self-similar, traffic modeling, L-system, Markov modulated Poisson process, multifractal |
30 | Jason Liu 0001, David M. Nicol |
Lookahead revisited in wireless network simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 16th Workshop on Parallel and Distributed Simulation, PADS 2002, Washington, D.C., USA, May 12-15, 2002, pp. 79-88, 2002, IEEE Computer Society, 0-7695-1608-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conservative parallelsimulation, sensor networks, performance, ad hoc networks, wireless networks, synchronization, parallel simulation, parallel discrete-event simulation, lookahead |
30 | Rob Simmonds, Russell J. Bradford, Brian W. Unger |
Applying parallel discrete event simulation to network emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 14th Workshop on Parallel and Distributed Simulation, PADS 2000, Bologna, Italy, May 28-31, 2000, pp. 15-22, 2000, IEEE Computer Society, 0-7695-0667-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
computer network emulation, conservative protocol, critical channel traversing, parallel discrete event simulation (PDES), Internet protocol (IP), real-time simulation |
30 | C. S. Raghu, S. Sundaram |
Distributed Logic Simulation Algorithm using Preemption of Inconsistent Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 482-, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parallel/distributed simulation, conservative logic simulation algorithm, discrete event simulation, Logic simulation |
30 | Rajive L. Bagrodia, Wen-Toh Liao |
Maisie: A Language for the Design of Efficient Discrete-Event Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 225-238, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads |
29 | Xiangzhan Yu, Gang Wu, Dailiang Jin, Wei Li |
Research on Performance Estimation Model of Distributed Network Simulation Based on PDNS Conservative Synchronization Mechanism in Complex Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 2576-2580, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
distributed network simulation, performance estimation model, PDNS, conservative synchronization |
29 | Tie Wang, Zhiguang Chen, Gaonan Wang, Jianyang Lin |
Conservative Fuzzy Reliability Design of Artificial Limb Rod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 790-793, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
artificial limb, conservative design, lightening, reliability |
29 | Chu-Cheow Lim, Yoke-Hean Low, Wentong Cai 0001 |
A Parallelism Analyzer Algorithm for a Conservative Super-Step Simulation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Parallelism analysis, conservative synchronous simulation protocol |
29 | Tsutomu Sasao, Kozo Kinoshita |
Realization of Minimum Circuits with Two-Input Conservative Logic Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(8), pp. 749-752, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Conservative logic elements (CLE's), magnetic bubble logic, logic design, logic minimization, switching theory |
29 | Tsutomu Sasao, Kozo Kinoshita |
Cascade Realization of 3-Input 3-Output Conservative Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(3), pp. 214-221, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
universality of logic elements, Cascade realization, conservative logic element (CLE), logic primitives, magnetic bubble logic, minimum circuit, three-valued logic |
27 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Improving Adaptive Boosting with a Relaxed Equation to Update the Sampling Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings, pp. 119-126, 2007, Springer, 978-3-540-73006-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Andrea Santoro, Francesco Quaglia |
Transparent Optimistic Synchronization in HLA via a Time-Management Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 193-200, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Norihiro Kamide |
Gentzen-Type Methods for Bilattice Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 265-289, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bilattice negation, completeness, sequent calculus, substructural logic, strong negation |
27 | Daniel Leivant |
Partial Correctness Assertions Provable in Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 304-317, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Léa Meyer |
Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 306-320, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | John L. Ross, Shmuel Sagiv |
Building a Bridge between Pointer Aliases and Program Dependences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 221-235, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andreas von Dziegielewski, Rainer Erbes, Elmar Schömer |
Conservative swept volume boundary approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: ACM Symposium on Solid and Physical Modeling, Proceedings of the 15th ACM Symposium on Solid and Physical Modeling, SPM 2010, Haifa, Israel, September 1-3, 2010, pp. 171-176, 2010, ACM, 978-1-60558-984-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Shafagh Jafer, Gabriel A. Wainer |
Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (1) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 443-448, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Antony Jameson |
Formulation of Kinetic Energy Preserving Conservative Schemes for Gas Dynamics and Direct Numerical Simulation of One-Dimensional Viscous Compressible Flow in a Shock Tube Using Entropy and Kinetic Energy Preserving Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 34(2), pp. 188-208, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alex Aussem, Sergio Rodrigues de Morais |
A Conservative Feature Subset Selection Algorithm with Missing Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), December 15-19, 2008, Pisa, Italy, pp. 725-730, 2008, IEEE Computer Society, 978-0-7695-3502-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Kazumi Kumazoe, Cesar Augusto Cavalheiro Marcondes, Mario Gerla, Dirceu Cavendish, Masato Tsuru, Yuji Oie |
Conservative Slow Start: Controlling Losses in Very High Speed 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. 5798-5803, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jinjie Liu, Hyun-Kyung Lim, James Glimm, Xiaolin Li 0002 |
A Conservative Front Tracking Method in N -Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 31(1-2), pp. 213-236, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Front tracking, discontinuity, conservation |
26 | Niklas Pettersson, Welf Löwe |
A Non-conservative Approach to Software Pattern Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: 15th International Conference on Program Comprehension (ICPC 2007), June 26-29, 2007, Banff, Alberta, Canada, pp. 189-198, 2007, IEEE Computer Society, 0-7695-2860-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Valentin Irtegov, Tatyana Titorenko |
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 195-210, 2007, Springer, 978-3-540-75186-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jan Nordström |
Conservative Finite Difference Formulations, Variable Coefficients, Energy Estimates and Artificial Dissipation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 29(3), pp. 375-404, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Artificial dissipation, variable coefficients, stability, finite differences, energy estimate |
26 | Steffen Bug, Alexey Nazarov, Kira Kastell, Rolf Jakoby |
Characterizing the Mobile Radio Channel by a Conservative Dynamical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 2772-2776, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Dan Jurca, Pascal Frossard |
Media Streaming with Conservative Delay on Variable Rate Channels. ![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. 1841-1844, 2006, IEEE Computer Society, 1-4244-0367-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jérôme Durand-Lose |
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 163-172, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation |
26 | Max Hailperin |
Comparing conservative coalescing criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(3), pp. 571-582, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Copy propagation, graph coloring, register allocation, register coalescing |
26 | Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
Conservative Computations in Energy-Based P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers, pp. 344-358, 2004, Springer, 3-540-25080-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Andrei A. Bulatov |
Tractable conservative Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 321-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Eugene Asarin, Thao Dang 0001, Antoine Girard |
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 20-35, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Giancarlo Mauri, Alberto Leporati |
On the Computational Complexity of Conservative Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 92-112, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Lingyun Yang, Jennifer M. Schopf, Ian T. Foster |
Conservative Scheduling: Using Predicted Variance to Improve Scheduling Decisions in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 15-21 November 2003, Phoenix, AZ, USA, CD-Rom, pp. 31, 2003, ACM, 1-58113-695-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Jerry W. Bruce, Mitchell A. Thornton, L. Shivakumaraiah, P. S. Kokate, X. Li |
Efficient Adder Circuits Based on a Conservative Reversible Logic Gate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2002 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), 25-26 April 2002, Pittsburgh, PA, USA, pp. 83-88, 2002, IEEE Computer Society, 0-7695-1486-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 93-100, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Ludmila I. Kuncheva, Christopher J. Whitaker |
Using Diversity with Three Variants of Boosting: Aggressive, Conservative, and Inverse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002, Proceedings, pp. 81-90, 2002, Springer, 3-540-43818-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Frederick Smith, J. Gregory Morrisett |
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings, pp. 68-78, 1998, ACM, 1-58113-114-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Bev Littlewood, David Wright 0001 |
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(11), pp. 673-683, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing |
26 | Azzedine Boukerche, Sajal K. Das 0001 |
Dynamic Load Balancing Strategies for Conservative Parallel Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, PADS '97, Lockenhaus, Austria, June 10-13, 1997, pp. 20-28, 1997, IEEE Computer Society, 0-8186-7965-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
Conservative Expansion Concepts for Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 522-533, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | John G. Cleary, Jya-Jang Tsai |
Conservative Parallel Simulation of ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 30-38, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ATM Networks, Parallel simulation |
26 | Nasser Kalantery |
Real-Time Speed of a Conservative Parallel Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 416-423, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Yoram Ofek |
A family of conservative codes with block delimiters for decoding without a phase-locked loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 103-107, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Hideki Yanaoka |
Influences of conservative and non-conservative Lorentz forces on energy conservation properties for incompressible magnetohydrodynamic flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 491, pp. 112372, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Reyna Quita, Yu-Shuo Chen, Hsin-Yi Lee, Alex C. Hu, John M. Hong |
Conservative Physics-Informed Neural Networks for Non-Conservative Hyperbolic Conservation Laws Near Critical States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12817, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ernesto Pimentel-García, Manuel J. Castro, Christophe Chalons, Tomás Morales de Luna, Carlos Parés |
In-cell discontinuous reconstruction path-conservative methods for non conservative hyperbolic systems - Second-order extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 459, pp. 111152, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3382 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|