1040 search results - page 109 / 208 » A Comparative Performance Evaluation of Write Barrier Implem... |
DIAGRAMS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how the ASSIST parallel programming environment can be used to run parallel programs on collections of heterogeneous workstations and evaluate the scalability...
GPCE
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
ISER
2004
Springer
14 years 2 months ago
2004
Springer
We report on a continuous time odometry scheme for a walking hexapod robot built upon a previously developed leg-strain based body pose estimator. We implement this estimation proc...
IWCMC
2010
ACM
14 years 2 months ago
2010
ACM
This paper focuses on turbo packet combining techniques for multi-relay-assisted systems operating over multiple-input multiple-output (MIMO) broadband channel. Two packet combini...