2702 search results - page 532 / 541 » Practically Applicable Formal Methods |
LADC
2007
Springer
14 years 2 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
—The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have st...
ICNP
2006
IEEE
14 years 2 months ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...
SBCCI
2006
ACM
14 years 1 months ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...