Fork Sequential Consistency is Blocking
Formal Aspects of Grid Brokering
Formal Derivation of Concurrent Garbage Collectors
Formal Relationships Between Geometrical and Classical Models for Concurrency
Framework to Solve Load Balancing Problem in Heterogeneous Web Servers
From Grid Middleware to a Grid Operating System
From Sequential to Concurrent: Correctness and Relative Efficiency
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
Fully distributed and fault tolerant task management based on diffusions
Fully Empirical Autotuned QR Factorization For Multicore Architectures
Fully Sequential and Distributed Dynamic Algorithms for Minimum Spanning Trees
Further Results on Languages of Membrane Structures
G-Monitor: Gridbus web portal for monitoring and steering application execution on global grids
Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation
Ganga: a tool for computational-task management and easy access to Grid resources
gcodeml: A Grid-enabled Tool for Detecting Positive Selection in Biological Evolution
General Compact Labeling Schemes for Dynamic Trees
Generalized Adaptive Network Coded Cooperation (GANCC): A Unified Framework for Network Coding and Channel Coding
Generalized Asynchronous Systems
Generalized Communicating P Systems Working in Fair Sequential Model