7121 search results - page 972 / 1425 » Functions as Session-Typed Processes |
185
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Recently, there has been much renewed interest in developing compact data structures for packet processing functions such as longest prefix-match for IP lookups. This has been ...
190
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
194
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...
176
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and studies a general continuous-time behavioral portfolio selection model under Kahneman and Tversky's (cumulative) prospect theory, featuring S-shaped...
216
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Conventional electrophotographic printers tend to produce Moir´e artifacts when used for printing images scanned from printed material such as books and magazines. We propose a n...