Results 231 to 240 of about 410,375 (269)
Some of the next articles are maybe not open access.
Knowledge and Efficient Computation
1986We informally discuss "knowledge complexity": a measure for the amount of knowledge that can be feasibly extracted from a communication. Our measure provides an answer to the following two questions: 1) How much knowledge should be communicated for proving a theorem? 2) How to prove correctness of cryptographic protocols?
openaire +2 more sources
Efficiently Computing Alignments
2019Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model.
openaire +1 more source
On efficiency and reliability in computer science
2015Effizienz von Algorithmen und Zuverlässigkeit gegen Fehlern in ihrer Implementierung oder Unsicherheiten in der Eingabe ist in der Informatik von großem Interesse. Diese Dissertation präsentiert Ergebnisse für Probleme in diesem Themenfeld. Zertifizierende Algorithmen ermöglichen zuverlässige Implementierungen durch Berechnung eines Zertifikats für ...
openaire +3 more sources
2013
This chapter describes fast algorithms for computing the value function and optimal decision rule for the type of social planning problem to be described in Chapter 5. The chapter is organized as follows. First, it displays a transformation that removes both discounting and cross-products between states and controls.
Lars Peter Hansen, Thomas J. Sargent
openaire +1 more source
This chapter describes fast algorithms for computing the value function and optimal decision rule for the type of social planning problem to be described in Chapter 5. The chapter is organized as follows. First, it displays a transformation that removes both discounting and cross-products between states and controls.
Lars Peter Hansen, Thomas J. Sargent
openaire +1 more source
Computational efficiency: adaptive computing vs. ASICs
9th International Conference on Electronics, Circuits and Systems, 2003Adaptive computing is key to achieving computational efficiency. This paper addresses the latest results from QuickSilver Technology's work on adaptive computing. It illustrates performance results from the first adaptive computing test chip, compares them against simulation results, and illustrates areas where performance increases can be expected in ...
Bob Plunkett, David Chou
openaire +1 more source
Efficient computation of order bases
Proceedings of the 2009 international symposium on Symbolic and algebraic computation, 2009In this paper we give an efficient algorithm for computation of order basis of a matrix of power series. For a problem with an m x n input matrix over a field K, m ≤ n, and order σ, our algorithm uses O(MM(n, ⊂O~(nω⌈mσ/n⌉) field operations in B.K, where the soft-O notation O~ is Big O with log factors omitted and MM(n,d) denotes the cost of multiplying
Wei Zhou 0029, George Labahn
openaire +2 more sources
Efficient computer-computer communication
Proceedings of the Institution of Electrical Engineers, 1976The study considers the effect of error rate, block length, transmission delay, and error-recovery mechanism on the efficiency of the communications channel in computer-computer communications. The systems investigated are full-duplex communications with unlimited and limited buffering, and half-duplex communications.
openaire +1 more source
Considerations of Computational Efficiency in Volunteer and Cluster Computing
2016In the paper we focus on analysis of performance and power consumption statistics for two modern environments used for computing – volunteer and cluster based systems. The former integrate computational power donated by volunteers from their own locations, often towards social oriented or targeted initiatives, be it of medical, mathematical or space ...
Pawel Czarnul, Mariusz R. Matuszek
openaire +1 more source
Reversibility for efficient computing.
1999Today's computers are based on irreversible logic devices, which have been known to be fundamentally energy-inefficient for several decades. Recently, alternative reversible logic technologies have improved rapidly, and are now becoming practical.
openaire +1 more source
Computing Approximately, and Efficiently
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015Swagath Venkataramani +3 more
openaire +2 more sources