4370 search results - page 754 / 874 » Algebra of Logic Programming |
124
Voted
FPL
2003
Springer
15 years 7 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
116
Voted
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
119
Voted
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
157
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
121
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...