6201 search results - page 64 / 1241 » Implementation of Axiomatic Language |
140
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
137
click to vote
ACISP
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we describe an implementation of the DES (and Triple-DES) algorithm using the bitslicing technique on an Intel Pentium MMX processor. Implementation specifics are di...
139
click to vote
FOIKS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
141
Voted
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
167
click to vote
JAVA
1999
Springer
15 years 8 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...