306 search results - page 60 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
CASES
2009
ACM
15 years 5 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
ACMSE
2005
ACM
15 years 1 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
115
click to vote
DSRT
2008
IEEE
15 years 5 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
137
click to vote
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
118
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...