647 search results - page 44 / 130 » Implementation of MAP: A system for mobile assistant program... |
178
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
157
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
158
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
The growth of the Internet has led to new avenues for distance education. A crucial factor for the success of distance education is effective mechanisms for distance evaluation. E...
156
click to vote
IJCM
2002
15 years 5 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
143
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...