7288 search results - page 364 / 1458 » On process rate semantics |
219
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
230
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
238
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Partitioned query processing is an effective method to process continuous queries with large stateful operators in a distributed systems. This method typically partitions input da...
213
Voted
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper examines congestion control issues for TCP flows that require in-network processing on the fly in network elements such as gateways, proxies, firewalls and even r...
173
Voted
ICDCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...