2642 search results - page 223 / 529 » The development of Chez Scheme |
180
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
179
click to vote
WCNC
2008
IEEE
16 years 29 days ago
2008
IEEE
— Recent work has developed single-carrier linear precoding for the multiuser downlink for multiple-input multipleoutput (MIMO) systems. This paper addresses the problem of user ...
211
click to vote
RTAS
2007
IEEE
16 years 26 days ago
2007
IEEE
Multiprocessor platforms have been widely adopted in both embedded and server systems. In addition to the performance improvement, multiprocessor systems could have the flexibili...
209
click to vote
GLOBECOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— IP mobility can be handled at different layers of the protocol stack. Mobile IP has been developed to handle mobility of Internet hosts at the network layer. As an alternative ...
154
click to vote
MICRO
2005
IEEE
16 years 5 days ago
2005
IEEE
We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we...