11112 search results - page 2088 / 2223 » Computing Stuttering Simulations |
119
click to vote
CVRMED
1997
Springer
15 years 7 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
118
click to vote
MOBICOM
1996
ACM
15 years 7 months ago
1996
ACM
The CPU is one of the major power consumers in a portable computer, and considerable power can be saved by turning off the CPU when it is not doing useful work. In Apple's Ma...
162
Voted
TLCA
1997
Springer
15 years 7 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
129
click to vote
LCN
1994
IEEE
15 years 7 months ago
1994
IEEE
We analyze the behavior of the Ethernet in networks with a small number of active stations, and describe what is known as the Ethernet capture effect, where a station transmits co...
160
click to vote
INFOCOM
1992
IEEE
15 years 7 months ago
1992
IEEE
In order to take advantage of the low entry cost of the future public ATM (asynchronous transfer mode) network with shared facilities, it is highly desirable to interconnect diffe...