2797 search results - page 255 / 560 » Code query by example |
130
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
123
Voted
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
145
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
A scalable approach to performance analysis of MPI applications is presented that includes automated source code instrumentation, low overhead generation of profile and trace data...