3630 search results - page 199 / 726 » How to Compare Treebanks |
208
click to vote
ISESE
2005
IEEE
16 years 22 days ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
171
click to vote
ISPW
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
191
click to vote
WECWIS
2005
IEEE
16 years 21 days ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...
207
Voted
INEX
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. There has been much debate over how to interpret the structure in queries that contain structural hints. At INEX 2003 and 2004, there were two interpretations: SCAS in wh...
302
click to vote
ISSTA
2004
ACM
16 years 17 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...