1458 search results - page 107 / 292 » Extended Term Rewriting Systems |
103
click to vote
IHI
2010
14 years 4 months ago
2010
Recent advances in healthcare and bioscience technologies and proliferation of portable medical devices are producing massive amounts of multimodal data. The need for parallel pro...
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
ESOP
1994
Springer
15 years 2 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
112
click to vote
FP
1995
15 years 1 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
100
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Providing scalable database services is an essential requirement for extending many existing applications of the Cloud platform. Due to the diversity of applications, database ser...