Sciweavers

3256 search results - page 229 / 652
» Mixin-Based Programming in C
Sort
View
107
Voted
CORR
2007
Springer
108views Education» more  CORR 2007»
15 years 3 months ago
Instruction sequences with indirect jumps
We study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions wher...
Jan A. Bergstra, C. A. Middelburg
126
Voted
JUCS
2006
100views more  JUCS 2006»
15 years 3 months ago
Expressing Workflow Patterns for Web Services: The Case of PEWS
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
Martin A. Musicante, Edinardo Potrich
168
Voted
ENTCS
2002
134views more  ENTCS 2002»
15 years 3 months ago
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
143
Voted
SIAMSC
2010
116views more  SIAMSC 2010»
15 years 1 months ago
Recursively Accelerated Multilevel Aggregation for Markov Chains
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
Hans De Sterck, K. Miller, G. Sanders, M. Winlaw
155
Voted
IEEEPACT
2009
IEEE
15 years 1 months ago
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
Takayuki Usui, Reimer Behrends, Jacob Evans, Yanni...