1401 search results - page 32 / 281 » Tool Integration for Reasoned Programming |
ICS
2001
Tsinghua U.
14 years 1 months ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
JAPLL
2007
13 years 8 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
PROMISE
2010
13 years 3 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...