Sciweavers

279 search results - page 32 / 56
» Sorting out software complexity
Sort
View
BIBE
2007
IEEE
110views Bioinformatics» more  BIBE 2007»
14 years 1 months ago
Toward Petascale Simulation of Cellular Microphysiology
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
Scott B. Baden, Terrence J. Sejnowski, Thomas M. B...
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 1 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
CC
2004
Springer
163views System Software» more  CC 2004»
14 years 28 days ago
Declarative Composition of Stack Frames
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
Christian Lindig, Norman Ramsey
IPPS
2000
IEEE
13 years 12 months ago
Solving Problems on Parallel Computers by Cellular Programming
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
Domenico Talia
HICSS
2009
IEEE
138views Biometrics» more  HICSS 2009»
13 years 10 months ago
E-Voting System Security Optimization
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...
Barbara Ondrisek