1546 search results - page 130 / 310 » Thoughts on solution concepts |
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
The middleware infrastructure to support applications is becoming critically important to the new horizons of mobile and pervasive computing. In this context, the goal of our work...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
To allow for an efficient usage of a device in pervasive computing environments, reliable and yet convenient user access is an important requirement. The problem becomes more comp...
ICCD
2002
IEEE
14 years 6 months ago
2002
IEEE
We present a co-simulation environment for multiprocessor architectures, that is based on SystemC and allows a transparent integration of instruction set simulators (ISSs) within ...
SBP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We propose a theoretical framework for the optimal collaboration among researchers in a knowledge network in which researchers are not limited to a single discipline and ...