3119 search results - page 355 / 624 » General Default Logic |
164
click to vote
PEPM
2007
ACM
16 years 23 days ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
206
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
175
click to vote
DAC
2006
ACM
16 years 19 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
216
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
188
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...