241 search results - page 34 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
IIHMSP
2006
IEEE
14 years 23 days ago
2006
IEEE
This paper presents a new behavior classification system for analyzing human movements directly from video sequences. First of all, we propose a triangulation-based method to tran...
FMCAD
2007
Springer
14 years 27 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
FASE
2006
Springer
13 years 10 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
—Distributed systems, especially time-triggered ones, are implementing clock synchronization algorithms to provide and maintain a common view of time among the different nodes. S...
ANSS
2006
IEEE
14 years 24 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...