840 search results - page 152 / 168 » Modelling Functional Requirements in Spatial Design |
VLSID
2003
IEEE
14 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
SECON
2008
IEEE
14 years 1 months ago
2008
IEEE
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...
SLIP
2006
ACM
14 years 1 months ago
2006
ACM
Crosstalk aggressor alignment induces significant interconnect delay variation and needs to be taken into account in a statistical timer. In this paper, we approximate crosstalk ...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is pe...
FGR
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...