6722 search results - page 302 / 1345 » The DSML4MAS development environment |
138
click to vote
AAAI
2006
15 years 8 months ago
2006
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
168
click to vote
AIPS
2006
15 years 8 months ago
2006
This work describes the solutions adopted to the problems tackled during the development of SIADEX, an intelligent planning and scheduling application where users play a central r...
158
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
The aim of the paper is to introduce techniques in order to optimize the parallel execution time of sorting on heterogeneous platforms (processors speeds are related by a constant...
177
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The interactivity afforded to the learner by the computer based media is often fairly restricted. This may be by design choice but is often brought about by resource constraints....
160
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...