3557 search results - page 298 / 712 » Authoring Presentation for OpenMath |
159
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
174
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Blogging, as a subset of the web as a whole, can benefit greatly from the addition of semantic metadata. The result -- which we will call Semantic Blogging -- provides improved cap...
165
click to vote
ETRICS
2006
15 years 10 months ago
2006
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
167
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
A new large constraint length, soft decision viterbi decoder fabric is presented for deployment using platform based system on chip methodologies. The decoder can be reconfigured ...
170
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...