Sciweavers

523 search results - page 25 / 105
» Embedded Software Development with Projectional Language Wor...
Sort
View
IPPS
1998
IEEE
15 years 6 months ago
A Development Tool Environment for Configuration, Build, and Launch of Complex Applications
The increasing size and complexity of high-performance applications have motivated a new round of innovation related to configuration, build, and launch of applications for large ...
Mike Krueger
APSEC
2000
IEEE
15 years 6 months ago
Transatlantic project courses in a university environment
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
Bernd Brügge, Allen H. Dutoit, Rafael Kobylin...
ICSE
2008
IEEE-ACM
16 years 2 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...
COMPSAC
2007
IEEE
15 years 5 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
LCTRTS
1999
Springer
15 years 6 months ago
Live Memory Analysis for Garbage Collection in Embedded Systems
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
Patrik Persson