1297 search results - page 71 / 260 » Semantic Correctness in Adaptive Process Management Systems |
ISM
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the problems of heterogeneous data and platforms, abundant functional and QoS requirements, high data size, and tangling correlation between data/contents and software func...
ELPUB
2008
ACM
13 years 9 months ago
2008
ACM
ResearchinHumanitiesandSocialSciencesistraditionallybasedonprintedpublicationssuchasmanuscripts, personal correspondence, first editions and other types of documents which are oft...
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
FCCM
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents the design of BORPH's file system layer for FPGA-based reconfigurable computers. BORPH provides user FPGA designs that execute as hardware processes acces...