3742 search results - page 723 / 749 » On the Use of Formal Techniques for Validation |
115
click to vote
IEEEPACT
2002
IEEE
15 years 6 months ago
2002
IEEE
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...
129
click to vote
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
186
click to vote
CIVR
2007
Springer
15 years 5 months ago
2007
Springer
Semantic detection and recognition of objects and events contained in a video stream has to be performed in order to provide content-based annotation and retrieval of videos. This...
121
click to vote
COMSWARE
2007
IEEE
15 years 5 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
111
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...