2482 search results - page 295 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
130
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
142
click to vote
FP
1992
15 years 6 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
107
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
187
click to vote
ICNP
2009
IEEE
15 years 9 months ago
2009
IEEE
—Future 4G cellular networks are featured with high data rate and improved coverage, which will enable realtime video multicast and broadcast services. Scalable video coding is v...
145
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...