7430 search results - page 614 / 1486 » Programming Applications in CIFF |
187
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
203
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
160
click to vote
EOR
2000
15 years 7 months ago
2000
We consider the single itemcapacitated lot{sizingproblem, a well-known productionplanningmodelthat often arises in practical applications, and derive new classes of valid inequali...
201
click to vote
FAC
2000
15 years 7 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
183
click to vote
ENTCS
2007
15 years 7 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...