2607 search results - page 404 / 522 » On the Architecture of System Verification Environments |
222
click to vote
BSDCON
2003
15 years 7 months ago
2003
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
196
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Man-made real-world environments are dominated by planar surfaces many of which constitute behaviorrelevant entities. Thus, the ability to perceive planar surfaces is v...
215
click to vote
IADIS
2003
15 years 7 months ago
2003
Today’s users want to access their data everywhere and any time – in various environments and occasions. The data itself can be very complex – the problem is then in providi...
169
click to vote
ECBS
2006
IEEE
16 years 16 days ago
2006
IEEE
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
184
click to vote
SCAM
2006
IEEE
16 years 15 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...