3468 search results - page 354 / 694 » Solid and physical modeling |
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
209
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
204
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
196
click to vote
GMP
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a novel approach to continuously and robustly tracking critical (geometrically, perpendicular and/or extremal) distances from a moving plane point p ∈ R2 to a...
175
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...