18572 search results - page 257 / 3715 » High performance C |
169
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
159
click to vote
WSC
2008
15 years 9 months ago
2008
The Monte Carlo and discrete-event simulation code associated with the Simulation 101 pre-conference workshop (offered at the 2006, 2007, and 2008 Winter Simulation Conferences) i...
178
click to vote
JNW
2007
15 years 6 months ago
2007
— Our research goal is to measure the exact size of the World Wide Web (i.e., a census). The measure we are interested in is the number of publicly accessible web servers on port...
152
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
As the end of Moores-law is on the horizon, power becomes a limiting factor to continuous increases in performance gains for single-core processors. Processor engineers have shifte...
165
click to vote
GPCE
2007
Springer
16 years 22 days ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...