3713 search results - page 175 / 743 » Constructing a Calculus of Programs |
143
Voted
CLIMA
2009
15 years 1 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...
116
Voted
ISCAS
2005
IEEE
15 years 9 months 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...
133
Voted
ICS
2003
Tsinghua U.
15 years 8 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...
129
Voted
LREC
2010
15 years 5 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 ...
133
click to vote
ENTCS
2006
15 years 3 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...