367 search results - page 60 / 74 » Multi-Core Design Automation Challenges |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
JPDC
2008
13 years 7 months ago
2008
This paper addresses the problem of porting distributed parallel applications to the Grid. One of the challenges we address is the change from static homogeneous cluster environmen...
JUCS
2008
13 years 7 months ago
2008
: Supply chain management (SCM) deals with planning and coordinating activities such as material procurement, product assembly, and the distribution of manufactured products. This ...
IIE
2007
13 years 7 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...