2509 search results - page 201 / 502 » Abstract Geometrical Computation and Computable Analysis |
202
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
183
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...
161
click to vote
CASSIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
190
click to vote
EDCC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
169
click to vote
PVM
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. Component architectures provide a useful framework for developing an extensible and maintainable code base upon which largescale software projects can be built. Component...