2797 search results - page 283 / 560 » Control Structures |
120
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
100
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
106
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
124
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
126
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...