2588 search results - page 212 / 518 » Engineering Systems Which Generate Emergent Functionalities |
149
Voted
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
The main function of a continuous media server is to concurrently stream data from storage to multiple clients over a network. The resulting streams will congest the host CPU bus,...
158
Voted
SIGMOD
2002
ACM
16 years 5 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
172
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
113
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
146
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...