8828 search results - page 1721 / 1766 » Formal methods in practice |
HICSS
2010
IEEE
15 years 2 months ago
2010
IEEE
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
ICRA
1999
IEEE
15 years 2 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
105
click to vote
KES
1999
Springer
15 years 2 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...