2263 search results - page 21 / 453 » Principles of Template Design |
ICSEA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents and discusses the syllabus of a second cycle degree on Software Engineering in which any student that finishes any undergraduate Computing degree (Computer Eng...
TPCD
1994
13 years 11 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-...
SIMPAR
2010
13 years 8 months 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
14 years 6 months ago
2006
IEEE
TRUST
2009
Springer
14 years 4 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...