Sciweavers

2943 search results - page 328 / 589
» Software Implementation of Synchronous Programs
Sort
View
164
Voted
SERP
2003
15 years 7 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart
277
Voted
ICFP
2009
ACM
16 years 7 months ago
Partial memoization of concurrency and communication
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jaga...
MDM
2004
Springer
15 years 11 months ago
Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phones with Java executors....
Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, ...
SAINT
2007
IEEE
16 years 17 days ago
A Component Framework for Document-Centric Network Processing
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
Ichiro Satoh
SPAA
2003
ACM
15 years 11 months ago
Nonblocking k-compare-single-swap
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...
Victor Luchangco, Mark Moir, Nir Shavit