3837 search results - page 275 / 768 » Concurrent Engineering support in Software Engineering |
173
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
138
click to vote
EMSOFT
2010
Springer
15 years 2 months 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...
127
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
127
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
136
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...