5639 search results - page 350 / 1128 » Timed Abstract Non-interference |
143
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
122
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
126
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this paper the use of a heart-tracking hand support is proposed to allow coronary artery bypass grafting surgery to take place on the beating heart. This method elimin...
160
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
138
click to vote
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...