759 search results - page 116 / 152 » Test case generator for GUITAR |
106
Voted
NCA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
129
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
124
click to vote
WEBDB
1999
Springer
15 years 5 months ago
1999
Springer
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
84
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
99
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...