6381 search results - page 60 / 1277 » Alternative Implementation of the C |
325
Voted
ECEASST
2011
15 years 1 months ago
2011
165
click to vote
EMSOFT
2005
Springer
16 years 7 days 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...
191
Voted
DALT
2004
Springer
16 years 3 days 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...