10899 search results - page 356 / 2180 » The GP Programming System |
193
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
173
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
161
Voted
EUROSIM
1994
15 years 8 months ago
1994
: The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer ...
187
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
172
click to vote
PAAPP
2002
15 years 6 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...