1140 search results - page 210 / 228 » Embedded Software: Better Models, Better Code |
DAC
2004
ACM
15 years 2 months ago
2004
ACM
Grid-warping is a new placement algorithm based on a strikingly simple idea: rather than move the gates to optimize their location, we elastically deform a model of the 2-0 chip s...
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
ACMICEC
2006
ACM
15 years 1 months ago
2006
ACM
In this paper, we look at a supply chain of commodity goods where customer demand is uncertain and partly based on reputation, and where raw material replenishment is uncertain in...
107
click to vote
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...