1017 search results - page 129 / 204 » Register computations on ordinals |
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Patient-specific biomechanical models implemented using specialized nonlinear (i.e. taking into account material and geometric nonlinearities) finite element procedures were applie...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper shows that software pipelining can be an effective technique for code generation for coarse-grained reconfigurable instruction set processors. The paper describes a tec...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This study examined the effectiveness of pair programming in four lecture sections of a large introductory programming course. We were particularly interested in assessing how the...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
We introduce BlueInfo, an open architecture for deploying web services in WPAN hotspots for cost-free context-aware mobile access over Bluetooth. A BlueInfo hotspot either pushes s...