9626 search results - page 203 / 1926 » Invariant Based Programming |
196
click to vote
JAIR
2007
15 years 6 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
170
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
172
Voted
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
167
click to vote
EAAI
2008
15 years 6 months ago
2008
This paper presents the design of an infinite horizon nonlinear optimal neurocontroller that replaces the conventional automatic voltage regulator and the turbine governor (CONVC)...
189
click to vote
COMPSAC
2008
IEEE
16 years 27 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...