2171 search results - page 160 / 435 » A Generic Process Algebra |
113
Voted
MASCOTS
2004
15 years 4 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
160
click to vote
SG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
121
click to vote
WSC
2007
15 years 5 months ago
2007
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
135
Voted
AIPS
1996
15 years 4 months ago
1996
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
135
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...