7961 search results - page 163 / 1593 » Input-Output Model Programs |
159
click to vote
ICCL
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
100
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
The technique of scaling hardware performance through increasing the number of cores on a chip requires programmers to learn to write parallel code that can exploit this hardware....
125
click to vote
WISA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...
116
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
145
Voted
LANMR
2004
15 years 4 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...