3307 search results - page 28 / 662 » The meaning of concurrent programs |
128
Voted
ICCL
1994
IEEE
15 years 4 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...
132
click to vote
EPS
1997
Springer
15 years 4 months ago
1997
Springer
: This paper demonstrates that a design for a low-distortion high-gain 96 decibel (64,860 -to-1) operational amplifier (including both circuit topology and component sizing) can be...
88
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...
110
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
100
Voted
GECCO
1999
Springer
15 years 5 months ago
1999
Springer
This paper demonstrates the ability of genetic programming to evolve analog circuits that perform digital functions and mixed analog-digital circuits. The evolved circuits include...