Sciweavers

6174 search results - page 940 / 1235
» The language of social software
Sort
View
IEEEPACT
2006
IEEE
16 years 21 days ago
Whole-program optimization of global variable layout
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
Nathaniel McIntosh, Sandya Mannarswamy, Robert Hun...
ISSRE
2006
IEEE
16 years 21 days ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
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...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
VL
2006
IEEE
100views Visual Languages» more  VL 2006»
16 years 20 days ago
Mica: A Web-Search Tool for Finding API Components and Examples
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
Jeffrey Stylos, Brad A. Myers
VL
2006
IEEE
106views Visual Languages» more  VL 2006»
16 years 20 days ago
Relo: Helping Users Manage Context during Interactive Exploratory Visualization of Large Codebases
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
Vineet Sinha, David R. Karger, Rob Miller
WISE
2006
Springer
16 years 20 days ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...