8179 search results - page 1412 / 1636 » The PRACTIONIST Development Tool |
115
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
150
click to vote
LCTRTS
2000
Springer
15 years 8 months ago
2000
Springer
Low energy consumption is becoming the primary design consideration for battery-operated and portable embedded systems, such as personal digital assistants, digital still and movi...
112
click to vote
MICCAI
2000
Springer
15 years 8 months ago
2000
Springer
Performing a craniotomy will cause brain tissue to shift. As a result of the craniotomy, the accuracy of stereotactic localization techniques is reduced unless the brain shift can ...
162
click to vote
SBIA
2000
Springer
15 years 8 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
123
click to vote
SMILE
2000
Springer
15 years 8 months ago
2000
Springer
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...