Sciweavers

349 search results - page 8 / 70
» Transactional Computation: Overview and Discussion
Sort
View
CORR
2011
Springer
166views Education» more  CORR 2011»
13 years 9 days ago
An Overview of Portable Distributed Techniques
In this paper, we reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These ar...
Sanjay Bansal, Nirved Pandey
VMCAI
2005
Springer
14 years 2 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
DSN
2002
IEEE
14 years 1 months ago
Transactional Rollback for Language-Based Systems
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
Algis Rudys, Dan S. Wallach
COMPCON
1995
IEEE
14 years 2 days ago
NetBill: An Internet Commerce System Optimized for Network Delivered Services
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
Marvin A. Sirbu, J. D. Tygar
JLP
2010
96views more  JLP 2010»
13 years 3 months ago
An overview of the K semantic framework
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
Grigore Rosu, Traian-Florin Serbanuta