7430 search results - page 631 / 1486 » Programming Applications in CIFF |
178
click to vote
ERLANG
2007
ACM
15 years 11 months ago
2007
ACM
With the increased use of network enabled applications and server hosted software systems, scalability with respect to network connectivity is becoming an increasingly important s...
193
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
205
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
177
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
190
click to vote
JSS
2006
15 years 7 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...