797 search results - page 89 / 160 » MODULA-2 and Its Compilation |
129
click to vote
IDEAL
2004
Springer
15 years 9 months ago
2004
Springer
It is indispensable that the users surfing on the Internet could have web pages classified into a given topic as correct as possible. Toward this ends, this paper presents a topic-...
124
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we use a digital signal processor (DSP) to implement a real-time H.263+ codec. We use fast algorithms to reduce the codec computational complexity. Furthermore, the...
125
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
114
click to vote
COSPS
2001
Springer
15 years 9 months ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
120
Voted
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...