5523 search results - page 826 / 1105 » Improving application performance with hardware data structu... |
156
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
136
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
222
click to vote
MICCAI
2006
Springer
16 years 3 days ago
2006
Springer
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
167
click to vote
ISPD
2010
ACM
16 years 24 days ago
2010
ACM
Thermal/power issues have become increasingly important with more and more transistors being put on a single chip. Many dynamic thermal/power management techniques have been propo...
274
click to vote
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...