3388 search results - page 50 / 678 » Type-theoretic design patterns |
CSREAESA
2003
13 years 9 months ago
2003
Energy dissipation in cache memories is becoming a major design issue in embedded microprocessors. Predictive filter cache based instruction cache hierarchy is effective in reduci...
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
CDVE
2006
Springer
13 years 11 months ago
2006
Springer
Knowledge Management (KM) is a complex objective, especially in the instance of extended enterprises consisting of SMEs, and critical in new product design and development (NPD). T...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
HAPTICS
2009
IEEE
14 years 2 months ago
2009
IEEE
Despite the plethora of vibrotactile applications that already have begun to impact our everyday life, how to design vibrotactile patterns easily and efficiently remains to be a ...