Search results for "bookkeeping"

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".	DPPI	2011	DBLP DOI BibTeX RDF
45	Paul U. Lee, Joey Mercer, Todd J. Callantine	Examining the Moderating Effect of Workload on Controller Task Distribution.	HCI (13)	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.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
43	Josef Makolm	Process Reengineering on Base of Law . The New Austrian States Budgeting and Bookkeeping System.	EGOV	2003	DBLP DOI BibTeX RDF
33	Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly	A Fuzzy Reasoning Database Question Answering System.	IEEE Trans. Knowl. Data Eng.	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.	IEEE Trans. Computers	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.	DAC	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.	ICFP	1998	DBLP DOI BibTeX RDF
30	Steven K. Winker, Larry Wos	Procedure Implementation Through Demodulation and Related Tricks.	CADE	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.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
28	Dong Liu, Ningna Sun	A Study on Bookkeeping APP Interaction Interface Design Driven by User Requirements.	PCCNT	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?	IEEE Big Data	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.	Remote. Sens.	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.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
28	Pooja Kumari	Impact of Interactivity on Bookkeeping Application Adoption Intention in the New Normal: A Consumption Values Perspective.	J. Electron. Commer. Organ.	2022	DBLP DOI BibTeX RDF
28		Parallel Bookkeeping Path of Accounting in Government Accounting System Based on Deep Neural Network.	J. Electr. Comput. Eng.	2022	DBLP DOI BibTeX RDF
28		Retracted: Parallel Bookkeeping Path of Accounting in Government Accounting System Based on Deep Neural Network.	J. Electr. Comput. Eng.	2022	DBLP DOI BibTeX RDF
28	Pooja Kumari	How Does Interactivity Impact User Engagement Over Mobile Bookkeeping Applications?	J. Glob. Inf. Manag.	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.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
28	Marten Teitsma, Vasco Chibante Barosso, Pascal Boeschoten, Patrick Hendriks	Jiskefet, a bookkeeping application for ALICE.	CoRR	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.	Soft Comput.	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.	IEEE Access	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.	ASCC	2019	DBLP BibTeX RDF
28	Christopher Pollin	Digital Edition Publishing Cooperative for Historical Accounts and the Bookkeeping Ontology.	RODBH	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.	Intelligent Vehicles Symposium	2018	DBLP DOI BibTeX RDF
28	Meennapa Rukhiran, Paniti Netinant	Aspect-Oriented Approach for Supporting House Bookkeeping Software Design.	ICSEB	2017	DBLP DOI BibTeX RDF
28	Nasibu Mramba, Jesse Tulilahti, Mikko Apiola	Bookkeeping for Informal Workers: Co-creating with Street Traders.	DESRIST	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.	J. Comput. Phys.	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.	SII	2015	DBLP DOI BibTeX RDF
28	Alberto Ciaffaglione, Ivan Scagnetto	Internal Adequacy of Bookkeeping in Coq.	LFMTP	2014	DBLP DOI BibTeX RDF
28	Yevgeny Kazakov, Pavel Klinov	Incremental Reasoning in OWL EL without Bookkeeping.	ISWC (1)	2013	DBLP DOI BibTeX RDF
28	Yevgeny Kazakov, Pavel Klinov	Incremental Reasoning in EL+ without Bookkeeping.	Description Logics	2013	DBLP BibTeX RDF
28	Qingping Li	Study of Bookkeeping in the Small and Medium-Sized Enterprise.	BIC-TA	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.	ALIFE	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?	ICSR	2009	DBLP DOI BibTeX RDF
28	Albrecht Heeffer	On the curious historical coincidence of algebra and double-entry bookkeeping.	FotFS	2008	DBLP BibTeX RDF
28	D. M. Walsh	Bookkeeping or Metaphysics? The Units of Selection Debate.	Synth.	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.	Entropy	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	CoRR	2003	DBLP BibTeX RDF
28	Alok Aurovillian, Hong Zhang 0017, Malgorzata M. Wiecek	A bookkeeping strategy for multiple objective linear programs.	Comput. Oper. Res.	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.	IEEE Trans. Knowl. Data Eng.	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.	APL	1976	DBLP DOI BibTeX RDF
15	Chi Zhou	Fast parallelization of differential evolution algorithm using MapReduce.	GECCO	2010	DBLP DOI BibTeX RDF	differential evolution, MapReduce, hadoop
15	Amit Golander, Shlomo Weiss	Checkpoint allocation and release.	ACM Trans. Archit. Code Optim.	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.	ICRA	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.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Case-based reasoning, Project planning
15	Luca Cardelli	Molecules as Automata.	WADT	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.	CSAW	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.	LPAR	2008	DBLP DOI BibTeX RDF
15	Giorgos Ch. Philos, Vassilios V. Dimakopoulos, Panagiotis E. Hadjidoukas	A Runtime System Architecture for Ubiquitous Support of OpenMP.	ISPDC	2008	DBLP DOI BibTeX RDF
15	Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang	Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory.	HPCC	2008	DBLP DOI BibTeX RDF
15	Xianfeng Zhao	Structural Optimization on Superscalar Processors.	CSSE (3)	2008	DBLP DOI BibTeX RDF
15	Luca Cardelli	Molecules as Automata.	CSL	2008	DBLP DOI BibTeX RDF
15	Michael Behar, Avi Mendelson, Avinoam Kolodny	Trace cache sampling filter.	ACM Trans. Comput. Syst.	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.	ICDE	2007	DBLP DOI BibTeX RDF
15	Wilfried Grossmann, Markus Moschner	Knowledge Integration from Multidimensional Data Sources.	EUROCAST	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.	ISCA	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.	IEEE Trans. Mob. Comput.	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.	Int. J. Softw. Tools Technol. Transf.	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.	e-Science	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.	ASP-DAC	2006	DBLP DOI BibTeX RDF
15	Maria Toeroe, Hans-Peter Frejek, Francis Tam, Shyam Penubolu, Kannan Kasturi	The Emerging SAF Software Management Framework.	ISAS	2006	DBLP DOI BibTeX RDF
15	Josef Makolm	A Holistic Reference Framework for e-Government: The Practical Proof of a Scientific Concept.	HICSS	2006	DBLP DOI BibTeX RDF
15	Jochen Müller, Ulrich Epple	A Generic Information Model for an XML-based Device Profile of Pumps.	ETFA	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.	ASPLOS	2006	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactions, transactional memory, virtual memory
15	Makarius Wenzel	Structured Induction Proofs in Isabelle/Isar.	MKM	2006	DBLP DOI BibTeX RDF
15	G. Charith K. Abhayaratne	Reducing aliasing in wavelets based downsampling for improved resolution scalability.	ICIP (2)	2005	DBLP DOI BibTeX RDF
15	Tsz-Chiu Au, Ugur Kuter, Dana S. Nau	Web Service Composition with Volatile Information.	ISWC	2005	DBLP DOI BibTeX RDF
15	William N. Scherer III, Michael L. Scott	Advanced contention management for dynamic software transactional memory.	PODC	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.	MSST	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\|).	AICCSA	2005	DBLP DOI BibTeX RDF
15	Kim M. Hazelwood, James E. Smith	Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems.	CGO	2004	DBLP DOI BibTeX RDF
15	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: Lower Time Bounds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
15	Cem Kaner	Liability for defective content.	SIGDOC	2004	DBLP DOI BibTeX RDF	defamation, information liability, libel, negligence, professional liability, warranty, documentation, web content
15	William J. Wolfe	Online student peer reviews.	SIGITE Conference	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.	MobiHoc	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.	IS4TH	2003	DBLP DOI BibTeX RDF
15	Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu	Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling.	IEEE Trans. Computers	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.	Symposium on Object-Oriented Real-Time Distributed Computing	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.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF	Dynamo, Dynamic Optimization, Dynamic Compilation, Cache Management
15	Li Tan	An Abstract Schema for Equivalence-Checking Games.	VMCAI	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.	EDBT	2002	DBLP DOI BibTeX RDF
15	Kedar S. Namjoshi	Certifying Model Checkers.	CAV	2001	DBLP DOI BibTeX RDF
15	Akira Ishikawa	A Functional Operator-Based Morphological Analysis of Japanese.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
15	Jason Liu 0001, David M. Nicol, King Tan	Lock-free scheduling of logical processes in parallel simulation.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
15	Igor Lyubashevskiy, Volker Strumpen	Fault-Tolerant File-I/O for Portable Checkpointing Systems.	J. Supercomput.	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.	ICS	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.	DAC	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.	ICCBR	1999	DBLP DOI BibTeX RDF
15	Ian Mackie	YALE: Yet Another Lambda Evaluator Based on Interaction Nets.	ICFP	1998	DBLP DOI BibTeX RDF
15	Julia L. Lawall, Harry G. Mairson	on Global Dynamics of Optimal Graph Reduction.	ICFP	1997	DBLP DOI BibTeX RDF
15	Jyh-Herng Chow, Vivek Sarkar	False Sharing Elimination by Selection of Runtime Scheduling Parameters.	ICPP	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.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
15	John R. Pilkington, Scott B. Baden	Dynamic Partitioning of Non-Uniform Structured Workloads with Spacefilling Curves.	IEEE Trans. Parallel Distributed Syst.	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.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
15	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	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?	ICFP	1996	DBLP DOI BibTeX RDF
15	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Source-Level Debugging of Scalar Optimized Code.	PLDI	1996	DBLP DOI BibTeX RDF
15	João P. Marques Silva, Karem A. Sakallah	GRASP - a new search algorithm for satisfiability.	ICCAD	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.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	SIMD parallel computers, portable programming environment, irregular and dynamic applications, scalability, load balancing, thread model