3713 search results - page 175 / 743 » Constructing a Calculus of Programs |
184
click to vote
CLIMA
2009
15 years 4 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
149
click to vote
ISCAS
2005
IEEE
16 years 23 hour ago
2005
IEEE
— Recently power becomes a significant issue in clock network design for high-performance ICs because the clock network consumes a large portion of the total power in the whole s...
173
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
161
click to vote
LREC
2010
15 years 7 months ago
2010
Broad-coverage language resources which provide prior linguistic knowledge must improve the accuracy and the performance of NLP applications. We are constructing a broad-coverage ...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...