5330 search results - page 813 / 1066 » The Performability Tool P'ility |
155
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
163
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
184
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
174
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
177
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Character design is a key ingredient to the success of any comicbook, graphic novel, or animated feature. Artists typically use shape, size and proportion as the first de...