Sciweavers

15 search results - page 2 / 3
» Concurrent programming with revisions and isolation types
Sort
View
BMCBI
2004
148views more  BMCBI 2004»
15 years 3 months ago
Bioinformatics analysis of SARS coronavirus genome polymorphism
Background: We have compared 38 isolates of the SARS-CoV complete genome. The main goal was twofold: first, to analyze and compare nucleotide sequences and to identify positions o...
Gordana Pavlovic-Lazetic, Nenad S. Mitic, Milos V....
114
Voted
OOPSLA
2007
Springer
15 years 9 months ago
Transactions with isolation and cooperation
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, ...
120
Voted
ERLANG
2004
ACM
15 years 8 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
144
Voted
OOPSLA
2010
Springer
15 years 1 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
SIGADA
2005
Springer
15 years 9 months ago
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
Javier Miranda, Edmond Schonberg, Hristian Kirtche...