1822 search results - page 14 / 365 » GENI Design Principles |
148
click to vote
TPCD
1994
15 years 3 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
122
click to vote
SIMPAR
2010
15 years 25 days ago
2010
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
126
click to vote
TRUST
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. ACPI (Advanced Configuration Power Interface) allows operating systems to efficiently configure the hardware platform they are running on and deal with power management...