3837 search results - page 172 / 768 » Concurrent Engineering support in Software Engineering |
175
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
164
click to vote
ISCA
2009
IEEE
16 years 29 days ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
168
click to vote
ISSRE
2006
IEEE
16 years 10 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
130
click to vote
ISSTA
2006
ACM
16 years 8 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
177
click to vote
IEEESCC
2008
IEEE
16 years 22 days ago
2008
IEEE
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...