2969 search results - page 331 / 594 » The Case for User-Centered CASE Tools |
204
click to vote
CPM
2009
Springer
15 years 7 months ago
2009
Springer
Factor and suffix oracles have been introduced in [1] in order to provide an economic and efficient solution for storing all the factors and suffixes respectively of a given text. ...
162
click to vote
DAIS
2009
15 years 7 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
163
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
199
click to vote
GRID
2008
Springer
15 years 7 months ago
2008
Springer
The g-Eclipse framework provides a general, integrated workbench toolset for Grid users, operators and developers. Based on the Open Source Eclipse ecosystem, g-Eclipse supports s...
150
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...