Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Gert Pasman, Edgar Wieringa |
Landing design thinking in industry: "making software for bookkeeping, but not in a bookkeeping way". ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPPI ![In: Designing Pleasurable Products and Interfaces, DPPI '11, Milano, Italy, June 22-25, 2011, pp. 47:1-47:4, 2011, ACM, 978-1-4503-1280-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
45 | Paul U. Lee, Joey Mercer, Todd J. Callantine |
Examining the Moderating Effect of Workload on Controller Task Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 339-348, 2007, Springer, 978-3-540-73330-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
task load, situation awareness, workload, air traffic control, non-linear, controller strategy |
43 | Xiangliang Zhang 0001, Michèle Sebag, Cécile Germain |
Toward Behavioral Modeling of a Grid System: Mining the Logging and Bookkeeping Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 581-588, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Josef Makolm |
Process Reengineering on Base of Law . The New Austrian States Budgeting and Bookkeeping System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 325-328, 2003, Springer, 3-540-40845-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly |
A Fuzzy Reasoning Database Question Answering System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(6), pp. 868-882, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
database question answering system, pertinent information, comment evaluation, fuzzy evaluator, fuzzy membership value, subject relationship, IBM 4381 computer systems, bookkeeping, functional changes, database evaluation, fuzzy logic, fuzzy logic, query processing, applicability, fuzzy sets, deductive databases, inference mechanisms, fuzzy set theory, membership functions, approximate reasoning, fuzzy reasoning, uncertainty handling, software development cycle |
33 | Constantine D. Polychronopoulos |
Compiler Optimizations for Enhancing Parallelism and Their Impact on Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(8), pp. 991-1004, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
cycle shrinking, run-time dependence analysis, compiler-inserted bookkeeping, run-time overhead, distributed barriers, parallel programs, parallel programming, optimisation, program compilers, barrier synchronization, shared registers |
30 | Taeweon Suh, Daehyun Kim 0001, Hsien-Hsin S. Lee |
Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 553-558, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
heterogeneous, cache coherence, MPSoC, real-time and embedded systems, inter-processor communication |
30 | Jörgen Gustavsson |
A Type Based Sharing Analysis for Update Avoidance and Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 39-50, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Steven K. Winker, Larry Wos |
Procedure Implementation Through Demodulation and Related Tricks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings, pp. 109-131, 1982, Springer, 3-540-11558-7. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
28 | Zheyuan He, Shuwei Song, Yang Bai, Xiapu Luo, Ting Chen 0002, Wensheng Zhang, Peng He, Hongwei Li 0001, Xiaodong Lin 0001, Xiaosong Zhang 0001 |
TokenAware: Accurate and Efficient Bookkeeping Recognition for Token Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(1), pp. 26:1-26:35, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Dong Liu, Ningna Sun |
A Study on Bookkeeping APP Interaction Interface Design Driven by User Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCCNT ![In: 2023 International Conference on Power, Communication, Computing and Networking Technologies, PCCNT 2023, Wuhan, China, September 24-25, 2023, pp. 13:1-13:12, 2023, ACM, 978-1-4503-9995-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ryoki Motai, Masato Kamebuchi, Sora Watanabe, Ryo Matsumoto, Yukihiko Okada |
Does Double-entry Bookkeeping Information Generated Using node2vec Contribute to Forecasting Future Performance? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 3194-3201, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Xinyu Wang, Runhao Li, Hu Ding, Yingchun Fu |
Fine-Scale Improved Carbon Bookkeeping Model Using Landsat Time Series for Subtropical Forest, Southern China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(3), pp. 753, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Valerie Fetzer, Marcel Keller, Sven Maier, Markus Raiber, Andy Rupp, Rebecca Schwerdt |
PUBA: Privacy-Preserving User-Data Bookkeeping and Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2022(2), pp. 447-516, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Pooja Kumari |
Impact of Interactivity on Bookkeeping Application Adoption Intention in the New Normal: A Consumption Values Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Commer. Organ. ![In: J. Electron. Commer. Organ. 20(2), pp. 1-17, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | |
Parallel Bookkeeping Path of Accounting in Government Accounting System Based on Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electr. Comput. Eng. ![In: J. Electr. Comput. Eng. 2022, pp. 2616449:1-2616449:10, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | |
Retracted: Parallel Bookkeeping Path of Accounting in Government Accounting System Based on Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electr. Comput. Eng. ![In: J. Electr. Comput. Eng. 2022, pp. 9820458:1-9820458:1, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Pooja Kumari |
How Does Interactivity Impact User Engagement Over Mobile Bookkeeping Applications? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Inf. Manag. ![In: J. Glob. Inf. Manag. 30(5), pp. 1-16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Valerie Fetzer, Marcel Keller, Sven Maier, Markus Raiber, Andy Rupp, Rebecca Schwerdt |
PUBA: Privacy-Preserving User-Data Bookkeeping and Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1683, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Marten Teitsma, Vasco Chibante Barosso, Pascal Boeschoten, Patrick Hendriks |
Jiskefet, a bookkeeping application for ALICE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.05756, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Abhijeet Dey, Ghanashyam Miyani, Arjun Sil |
Application of artificial neural network (ANN) for estimating reliable service life of reinforced concrete (RC) structure bookkeeping factors responsible for deterioration mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(3), pp. 2109-2123, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Tianqi Cai, Hengjin Cai, Hao Wang, Xiji Cheng, Linfeng Wang |
Analysis of Blockchain System With Token-Based Bookkeeping Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 50823-50832, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Kaya Akagi, Hiroshi Deguchi |
An agent-based economic model with centralized mode analysis for the economic big data: Method for management and scenario simulation of bookkeeping big data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 12th Asian Control Conference, ASCC 2019, Kitakyushu-shi, Japan, June 9-12, 2019, pp. 722-727, 2019, IEEE, 978-4-88898-300-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Christopher Pollin |
Digital Edition Publishing Cooperative for Historical Accounts and the Bookkeeping Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODBH ![In: Proceedings of the Doctoral Symposium on Research on Online Databases in History co-located with 3rd Data for History Workshop, RODBH 2019, Leipzig, Germany, April 4-5, 2019., pp. 7-14, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Jing Hua 0002, Xiujuan Wang, Mengzhen Kang, Haoyu Wang, Fei-Yue Wang 0001 |
Blockchain Based Provenance for Agricultural Products: A Distributed Platform with Duplicated and Shared Bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Vehicles Symposium ![In: 2018 IEEE Intelligent Vehicles Symposium, IV 2018, Changshu, Suzhou, China, June 26-30, 2018, pp. 97-101, 2018, IEEE, 978-1-5386-4452-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Meennapa Rukhiran, Paniti Netinant |
Aspect-Oriented Approach for Supporting House Bookkeeping Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEB ![In: Proceedings of the International Conference on Software and e-Business, ICSEB 2017, Hong Kong, December 28-30, 2017, pp. 49-54, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Nasibu Mramba, Jesse Tulilahti, Mikko Apiola |
Bookkeeping for Informal Workers: Co-creating with Street Traders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESRIST ![In: Tackling Society's Grand Challenges with Design Science - 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings, pp. 97-113, 2016, Springer, 978-3-319-39293-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Zhu Huang, John P. Boyd 0001 |
Modal preconditioning of Galerkin spectral methods: Dual bookkeeping for the Delves-Freeman iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 300, pp. 1-4, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Keiko Zaima, Hiroshi Deguchi, Hao Lee |
A methodology for environmental information system based on multi-dimensional bookkeeping system for material & service accounts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: 2015 IEEE/SICE International Symposium on System Integration, SII 2015, Nagoya, Japan, December 11-13, 2015, pp. 894-899, 2015, IEEE, 978-1-4673-7242-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Ciaffaglione, Ivan Scagnetto |
Internal Adequacy of Bookkeeping in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 8: 1-8: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Yevgeny Kazakov, Pavel Klinov |
Incremental Reasoning in OWL EL without Bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I, pp. 232-247, 2013, Springer, 978-3-642-41334-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Yevgeny Kazakov, Pavel Klinov |
Incremental Reasoning in EL+ without Bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 294-315, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Qingping Li |
Study of Bookkeeping in the Small and Medium-Sized Enterprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIC-TA ![In: Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013, HuangShan, China, July 12-14, 2013, pp. 901-907, 2013, Springer, 978-3-642-37501-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Sander G. van Dijk, Daniel Polani, Chrystopher L. Nehaniv |
What do You Want to do Today? - Relevant-Information Bookkeeping in Goal-Oriented Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, ALIFE 2010, Odense, Denmark, August 19-23, 2010, pp. 176-183, 2010, MIT Press, 9780262290753. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
28 | Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide |
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings, pp. 31-40, 2009, Springer, 978-3-642-04210-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Albrecht Heeffer |
On the curious historical coincidence of algebra and double-entry bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 111-132, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | D. M. Walsh |
Bookkeeping or Metaphysics? The Units of Selection Debate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 138(3), pp. 337-361, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Todd L. Duncan, Jack S. Semura |
The Deep Physics Behind the Second Law: Information and Energy As Independent Forms of Bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 6(1), pp. 21-29, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, Andrei Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, Igor Soloviev, R. Hart, António Amorim, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, Igor Alexandrov, V. Kotov, Mikhail Mineev, Yu. Ryabov |
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DB/0306081, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Alok Aurovillian, Hong Zhang 0017, Malgorzata M. Wiecek |
A bookkeeping strategy for multiple objective linear programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 24(11), pp. 1033-1041, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly |
Establishing the Relevancy of the Bookkeeping Libraries to the Functional Testing of Computer Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(4), pp. 646-652, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
error data, error prediction models, software reliability, errors, faults, Functional testing, bugs, data accuracy |
28 | Sander Rubin |
An application of tree structures to an interactive double-entry bookkeeping system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the eighth international conference on APL, APL 1976, Ottawa, Canada, September 22-24, 1976, pp. 337-342, 1976, ACM, 978-1-4503-7416-3. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
15 | Chi Zhou |
Fast parallelization of differential evolution algorithm using MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1113-1114, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
differential evolution, MapReduce, hadoop |
15 | Amit Golander, Shlomo Weiss |
Checkpoint allocation and release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 6(3), pp. 10:1-10:27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
early register release, misprediction, Checkpoint, leakage, out-of-order execution, rollback |
15 | Alexander Bahr, Matthew R. Walter, John J. Leonard |
Consistent cooperative localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3415-3422, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ke Xu, Hector Muñoz-Avila |
CaBMA: a case-based reasoning system for capturing, refining, and reusing project plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 15(2), pp. 215-232, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Case-based reasoning, Project planning |
15 | Luca Cardelli |
Molecules as Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 18-20, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo |
Using rhythmic nonces for puzzle-based DoS resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAW ![In: Proceedings of the 2nd ACM Workshop on Computer Security Architecture, CSAW 2008, Alexandria, VA, USA, October 31, 2008, pp. 51-58, 2008, ACM, 978-1-60558-300-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security |
15 | Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell |
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 16-30, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Giorgos Ch. Philos, Vassilios V. Dimakopoulos, Panagiotis E. Hadjidoukas |
A Runtime System Architecture for Ubiquitous Support of OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 189-196, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang |
Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 10th IEEE International Conference on High Performance Computing and Communications, HPCC 2008, 25-27 Sept. 2008, Dalian, China, pp. 77-84, 2008, IEEE Computer Society, 978-0-7695-3352-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Xianfeng Zhao |
Structural Optimization on Superscalar Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 427-430, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Luca Cardelli |
Molecules as Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 32, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michael Behar, Avi Mendelson, Avinoam Kolodny |
Trace cache sampling filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 25(1), pp. 3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cache utilization, sampling filter, power dissipation, Trace cache |
15 | Quanzhong Li 0002, Minglong Shao, Volker Markl, Kevin S. Beyer, Latha S. Colby, Guy M. Lohman |
Adaptively Reordering Joins during Query Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 26-35, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Wilfried Grossmann, Markus Moschner |
Knowledge Integration from Multidimensional Data Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 345-351, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott |
An integrated hardware-software approach to flexible transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, pp. 104-115, 2007, ACM, 978-1-59593-706-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RSTM, multiprocessors, transactional memory, cache coherence |
15 | Rong Zheng 0001, Jennifer C. Hou, Lui Sha |
Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(9), pp. 1228-1241, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
power management, multihop wireless networks, block design, Asynchronous wake-up |
15 | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
Compositional specification of commercial contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(6), pp. 485-516, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Veronika Nefedova, Robert L. Jacob, Ian T. Foster, Zhengyu Liu, Yun Liu, Ewa Deelman, Gaurang Mehta, Mei-Hui Su, Karan Vahi |
Automating Climate Science: Large Ensemble Simulations on the TeraGrid with the GriPhyN Virtual Data System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: Second International Conference on e-Science and Grid Technologies (e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands, pp. 32, 2006, IEEE Computer Society, 0-7695-2734-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Zhuo Li 0001, Weiping Shi |
An O(mn) time algorithm for optimal buffer insertion of nets with m sinks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 320-325, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Maria Toeroe, Hans-Peter Frejek, Francis Tam, Shyam Penubolu, Kannan Kasturi |
The Emerging SAF Software Management Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, pp. 253-270, 2006, Springer, 3-540-68724-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Josef Makolm |
A Holistic Reference Framework for e-Government: The Practical Proof of a Scientific Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jochen Müller, Ulrich Epple |
A Generic Information Model for an XML-based Device Profile of Pumps. ![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. 159-166, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Weihaw Chuang, Satish Narayanasamy, Ganesh Venkatesh, Jack Sampson, Michael Van Biesbrouck, Gilles Pokam, Brad Calder, Osvaldo Colavin |
Unbounded page-based transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 347-358, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactions, transactional memory, virtual memory |
15 | Makarius Wenzel |
Structured Induction Proofs in Isabelle/Isar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 17-30, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | G. Charith K. Abhayaratne |
Reducing aliasing in wavelets based downsampling for improved resolution scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 898-901, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tsz-Chiu Au, Ugur Kuter, Dana S. Nau |
Web Service Composition with Volatile Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, pp. 52-66, 2005, Springer, 3-540-29754-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | William N. Scherer III, Michael L. Scott |
Advanced contention management for dynamic software transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 240-248, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
synchronization, transactional memory, contention management, obstruction-freedom |
15 | Lin Qiao, Balakrishna R. Iyer, Divyakant Agrawal, Amr El Abbadi, Sandeep Uttamchandani |
STORAGEDB: Enhancing the Storage Sub-System with DBMS Functionalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSST ![In: 22nd IEEE / 13th NASA Goddard Conference on Mass Storage Systems and Technologies (MSST 2005), Information Retrieval from Very Large Storage Systems, CD-ROM, 11-14 April 2005, Monterey, CA, USA, pp. 218-223, 2005, IEEE Computer Society, 0-7695-2318-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Alex Fit-Florea, David W. Matula |
Determining all pairs edge connectivity of a 4-regular graph in O(|V|). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 15, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Kim M. Hazelwood, James E. Smith |
Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 20-24 March 2004, San Jose, CA, USA, pp. 89-99, 2004, IEEE Computer Society, 0-7695-2102-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gerald Lüttgen, Walter Vogler |
Bisimulation on Speed: Lower Time Bounds. ![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. 333-347, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Cem Kaner |
Liability for defective content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, SIGDOC 2004, Memphis, Tennessee, USA, October 10-13, 2004, pp. 145-151, 2004, ACM, 1-58113-809-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
defamation, information liability, libel, negligence, professional liability, warranty, documentation, web content |
15 | William J. Wolfe |
Online student peer reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 5th Conference on Information Technology Education, SIGITE 2004, 2004, Salt Lake City, UT, USA, October 28-30, 2004, pp. 33-37, 2004, ACM, 1-58113-936-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
computer based instruction, web, online, peer review |
15 | Rong Zheng 0001, Jennifer C. Hou, Lui Sha |
Asynchronous wakeup for ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2003, Annapolis, Maryland, USA, June 1-3, 2003, pp. 35-45, 2003, ACM, 1-58113-684-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
asynchronous wakeup, block design and ad hoc networks, power management |
15 | Mohsen Mahvash, Vincent Hayward |
Haptic Simulation of a Tool in Contact with a Nonlinear Deformable Body. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS4TH ![In: Surgery Simulation and Soft Tissue Modeling, International Symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003, Proceedings, pp. 311-320, 2003, Springer, 3-540-40439-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu |
Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(9), pp. 977-994, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
enhanced pipeline scheduling, unrolling, modulo variable expansion, iterated coalescing, register allocation, Software pipelining, modulo scheduling, renaming, coalescing |
15 | Tomas Lennvall, Gerhard Fohler, Björn Lindberg |
Handling Aperiodic Tasks in Diverse Real-Time Systems via Plug-Ins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 137-144, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
scheduling, real-time, operating systems, modularity, plug-in |
15 | Kim M. Hazelwood, Michael D. Smith 0001 |
Code Cache Management Schemes for Dynamic Optimizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interaction between Compilers and Computer Architectures ![In: 6th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-6 2002), 3 February 2002, Boston, MA, USA, pp. 102-110, 2002, IEEE Computer Society, 0-7695-1534-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Dynamo, Dynamic Optimization, Dynamic Compilation, Cache Management |
15 | Li Tan |
An Abstract Schema for Equivalence-Checking Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 65-78, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Axel Wienberg, Matthias Ernst, Andreas Gawecki, Olaf Kummer, Frank Wienberg, Joachim W. Schmidt |
Content Schema Evolution in the CoreMedia®; Content Application Platform CAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2002, 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings, pp. 712-721, 2002, Springer, 3-540-43324-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Kedar S. Namjoshi |
Certifying Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 2-13, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Akira Ishikawa |
A Functional Operator-Based Morphological Analysis of Japanese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 100-114, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jason Liu 0001, David M. Nicol, King Tan |
Lock-free scheduling of logical processes in parallel simulation. ![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. 22-31, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Igor Lyubashevskiy, Volker Strumpen |
Fault-Tolerant File-I/O for Portable Checkpointing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(1-2), pp. 69-92, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
portable checkpoints, transactional file operations, fault tolerance, automatic code generation |
15 | Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu |
Unroll-based register coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 14th international conference on Supercomputing, ICS 2000, Santa Fe, NM, USA, May 8-11, 2000, pp. 296-305, 2000, ACM, 1-58113-270-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk |
A methodology for formal design of hardware control with application to cache coherence protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 724-729, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Héctor Muñoz-Avila, Daniel C. McFarlane, David W. Aha, Len Breslow, James A. Ballas, Dana S. Nau |
Using Guidelines to Constrain Interactive Case-Based HTN Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning and Development, Third International Conference, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999, Proceedings, pp. 288-302, 1999, Springer, 3-540-66237-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ian Mackie |
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 117-128, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Julia L. Lawall, Harry G. Mairson |
on Global Dynamics of Optimal Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 188-195, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Jyh-Herng Chow, Vivek Sarkar |
False Sharing Elimination by Selection of Runtime Scheduling Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1997 International Conference on Parallel Processing (ICPP '97), August 11-15, 1997, Bloomington, IL, USA, Proceedings, pp. 396-403, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
runtime scheduling, compilers, shared-memory multiprocessors, parallel loops, false sharing |
15 | Eric A. Wan, Françoise Beaufays |
Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Summer School on Neural Networks ![In: Adaptive Processing of Sequences and Data Structures, International Summer School on Neural Networks, `E.R. Caianiello`, Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures, pp. 63-98, 1997, Springer, 3-540-64341-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | John R. Pilkington, Scott B. Baden |
Dynamic Partitioning of Non-Uniform Structured Workloads with Spacefilling Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(3), pp. 288-300, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
spacefilling curve, non-uniform computations, irregular data partitioning, performance, Dynamic load balancing, distributed memory parallel computers, particle methods |
15 | Asawaree Kalavade, Edward A. Lee |
Complexity management in system-level design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 14(2), pp. 157-169, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 752-779, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
15 | Julia L. Lawall, Harry G. Mairson |
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 92-101, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ali-Reza Adl-Tabatabai, Thomas R. Gross |
Source-Level Debugging of Scalar Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 33-43, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | João P. Marques Silva, Karem A. Sakallah |
GRASP - a new search algorithm for satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 220-227, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Non-chronological Backtracking, Automatic Test Pattern Generation, Backtracking, Search Algorithms, Propositional Satisfiability, Electronic Design Automation |
15 | Wei Shu, Min-You Wu |
Asynchronous Problems on SIMD Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(7), pp. 704-713, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
SIMD parallel computers, portable programming environment, irregular and dynamic applications, scalability, load balancing, thread model |