3335 search results - page 272 / 667 » A Unified Approach to Modeling and Programming |
192
click to vote
IIE
2007
15 years 6 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
161
click to vote
ENTCS
2002
15 years 6 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
201
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
178
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
193
click to vote
CCE
2004
15 years 6 months ago
2004
The Resource-Constrained Project Scheduling Problem(RCPSP) is a significant challenge in highly regulated industries, such as pharmaceuticals and agrochemicals, where a large numb...