16725 search results - page 702 / 3345 » Engineering Software Correctness |
348
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
205
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
204
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
214
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
188
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...