1464 search results - page 144 / 293 » Behavioral optimization using the manipulation of timing con... |
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
SPIN
2000
Springer
14 years 15 days ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
As bioinformatics is an emerging application of high performance computing, this paper first evaluates the memory performance of several representative bioinformatics application...
AEI
2005
13 years 8 months ago
2005
Evolutionary algorithms (EAs) are stochastic search methods that mimic the natural biological evolution and/or the social behavior of species. Such algorithms have been developed ...