1943 search results - page 82 / 389 » Software and higher education |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Safety-criticalembeddedsystems having to meet real-time constraints are to be highlypredictable in order to guarantee at design time that certain timing deadlines will always be m...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
AICCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
ACE
2004
13 years 9 months ago
2004
Many governments are emphasizing the need to improve ICT skills, research and innovations, often making special reference to the role of higher education. At the 2003 conference o...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...