2271 search results - page 291 / 455 » Scalable Software Libraries |
115
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
145
click to vote
INFOSCALE
2007
ACM
15 years 5 months ago
2007
ACM
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
133
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
123
Voted
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
128
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...