We introduce the Sync-Phase technique for software transactional memory. Time is divided into two different alternating phases: computation phases and commit (synchronization) phases. Transactions are only allowed to commit during a commit phase, which allows execution without validation (or the need for cache synchronization) during computation phases. Phases can be determined through time or ...

Quantum algorithms are known for providing more efficient solutions to certain computational tasks than any corresponding classical algorithm. Here we show that a single qudit is sufficient to implement an oracle based quantum algorithm, which can solve a black-box problem faster than any classical algorithm. For 2d permutation functions defined on a set of d elements, deciding whether a given ...

Delays in login can cause significant loss of revenue opportunities in financial trading applications. Such was the case for a foreign exchange deal management system, wherein the login step itself was very complex. The complexity arose from the need for synchronizing the front-end client workstation with the central back-end database as part of user login, and was further complicated by a larg...

maxsat is an optimization version of sat that can represent a wide variety of important optimization problems. A recent approach for solving maxsat is to exploit both a sat solver and a Mixed Integer Programming (mip) solver in a hybrid approach. Each solver generates information used by the other solver in a series of iterations that terminates when an optimal solution is found. Empirical resu...

videoinsight® means to gain insight by looking at a work of contemporary art. it focuses on the aim and the psychological effect that are potentially provoked by the interaction with some selected contemporary works of art. the insight promoted by the work of art is the outcome of the activation of transference, of projections and reflections on the artistic product, of the unconscious elaborat...

In statistical classification work, one method of speeding up the process is to use only a small percentage of the total parameter set available. In this paper, we apply this technique both to the classification of malware and the identification of malware from a set combined with cleanware. In order to demonstrate the usefulness of our method, we use the same sets of malware and cleanware as i...

During the last years, preprocessing-based techniques have been developed to compute shortest paths between two given points in a road network. These speed-up techniques make the computation a matter of microseconds even on huge networks. While there is a vast amount of experimental work in the eld, there is still large demand on theoretical foundations. The preprocessing phases of most speed-u...