2659 search results - page 86 / 532 » Do we mean the same |
115
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present an approach based on the use of embedded network devices for the deployment of small network services, such as DHCP, BOOTP, filters or very specific proxi...
130
click to vote
EOR
2006
15 years 4 months ago
2006
This paper models and analyzes serial production lines with specialists at each station and a single, cross-trained floating worker who can work at any station. We formulate Marko...
134
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
150
click to vote
AAAI
1997
15 years 5 months ago
1997
The use of heuristics as a means to improve constraint solver performance has been researched widely. However, most work has been on problem-independentheuristics (e.g., variable ...
140
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper we consider the generation of discrete white noise. Despite this seems to be a simple problem, common noise generator implementations do not deliver comparable resul...