6722 search results - page 487 / 1345 » Reuse-Conducive Development Environments |
182
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...
164
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...
178
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....
167
click to vote
BIRTHDAY
2010
Springer
15 years 8 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...
188
click to vote
ENTCS
2008
15 years 7 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...