152 search results - page 17 / 31 » A Practical Agent-Based Approach for Pattern Layout Design |
DAC
2005
ACM
13 years 9 months ago
2005
ACM
Although a lot of research efforts have been made in the minimization of the total power consumption caused by the clock tree, no attention has been paid to the minimization of th...
MATA
2004
Springer
14 years 23 days ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
FCT
2003
Springer
14 years 19 days ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
ENTCS
2008
13 years 7 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...