742 search results - page 65 / 149 » Set-based Concurrent Engineering |
144
click to vote
CIKM
2010
Springer
15 years 13 days ago
2010
Springer
Search nodes are single-purpose components of large Web search engines and their efficient implementation is critical to sustain thousands of queries per second and guarantee indi...
114
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
130
Voted
RE
2004
Springer
15 years 7 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
132
click to vote
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
119
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...