2902 search results - page 357 / 581 » Software Product Lines |
175
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
222
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
As software grows more complex, software developers’ productivity is increasingly defined by their ability to effectively reuse code. Even APIs (application programming interfac...
186
Voted
FPL
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces a software supported methodology for exploring/evaluating 3D FPGA architectures. Two new CAD tools are developed: (i) the 3DPRO for placement and routing on ...
182
Voted
CCGRID
2006
IEEE
16 years 28 days ago
2006
IEEE
A challenging issue facing Grid communities is that while Grids can provide access to many heterogeneous resources, the resources to which access is provided often do not match th...
200
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...