10707 search results - page 403 / 2142 » Designing executable abstractions |
107
click to vote
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Criteria to design MR (Magnetic Resonance) compatible mechatronic devices, e.g., surgical robots, are discussed. Some of critical interactions between MRI and mechatronic...
112
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
Abstract -- Current day behavioral-synthesis techniques produce architectures that are power-inefficient in the interconnect. Experiments have demonstrated that in synthesized desi...
210
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
Interconnectperformance does not scale well into deep submicron dimensions, and the rising number of analog effects erodes tal abstraction necessary for high levels of integration...
173
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
136
Voted
FODO
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...