2972 search results - page 424 / 595 » Mapping New Territories |
178
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
183
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...
150
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a new topology inference technique that aims to reveals how ISPs deploy their layer two and three networks at the POP level, without relying on ISP core n...
142
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
— To optimize makespan and reliability for workflow applications, most existing works use list heuristics rather than genetic algorithms (GAs) which can usually give better solut...
181
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Active operating system fingerprinting is the process of actively determining a target network system’s underlying operating system type and characteristics by probing the targ...