4722 search results - page 637 / 945 » Encoding Program Executions |
130
click to vote
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
128
click to vote
TYPES
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
148
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
143
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...
152
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...