3600 search results - page 257 / 720 » The settling-time reducibility ordering |
182
click to vote
EPEW
2005
Springer
16 years 4 days ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
199
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
166
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
157
click to vote
IBPRIA
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
163
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Effective scheduling in the Grid consisting of heterogeneous and distributed resources is imperative in order to counter unacceptably large overheads of the Grid. We proposed the ...