742 search results - page 91 / 149 » Set-based Concurrent Engineering |
126
click to vote
CSIE
2009
IEEE
15 years 3 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
CACM
2007
15 years 2 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
116
click to vote
EMSOFT
2010
Springer
15 years 11 days ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
167
Voted
OOPSLA
2010
Springer
15 years 8 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
123
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...