6381 search results - page 60 / 1277 » Alternative Implementation of the C |
79
Voted
PPSC
2001
15 years 5 months ago
2001
84
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
228
Voted
ECEASST
2011
14 years 10 months ago
2011
124
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
147
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...