1707 search results - page 149 / 342 » Early Integer Programming |
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
102
Voted
IDA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...
97
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...