Sciweavers

3973 search results - page 399 / 795
» Complex adaptation and system structure
Sort
View
SAC
1995
ACM
15 years 8 months ago
Load balancing in a distributed processing system for high-energy physics(UFMulti)
Experiments in High Energy Physics (HEP) generate tremendous amounts of data. For example, the accelerator at CERN is expected to generate petabytes per year. New HEP discoveries ...
Jagadeesh Kasaraneni, Theodore Johnson, Paul Avery
ISPAN
1999
IEEE
15 years 9 months ago
Performance and Granularity Control in the SPaDES Parallel Simulation System
Parallel simulationhas the potentialto accelerate the execution of simulation applications. However, developing a parallel discrete-event simulation from scratch requires an in-de...
Yong Meng Teo, Seng Chuan Tay
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 4 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
169
Voted
BMCBI
2008
204views more  BMCBI 2008»
15 years 5 months ago
EST2uni: an open, parallel tool for automated EST analysis and database creation, with a data mining web interface and microarra
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
Javier Forment, Francisco Gilabert Villamón...
FCT
2009
Springer
15 years 11 months ago
Directed Graphs of Entanglement Two
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
Erich Grädel, Lukasz Kaiser, Roman Rabinovich