1598 search results - page 1 / 320 » A Unified Computation Model for Functional and Logic Program... |
134
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
89
Voted
CSUR
1998
15 years 21 days ago
1998
132
Voted
APNOMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
105
Voted
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
145
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...