614 search results - page 52 / 123 » Scheduling under resource constraints using dis-equations |
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
We previously presented a model for some wireless sensor and actuator network (WSAN) applications based on the vector space tools of frame theory. In this WSAN model there is a we...
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
As distributed real-time applications gain in popularity, a key challenge is to allocate resources so that diverse realtime requirements (including non-real-time applications), di...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we are proposing a core-based test methodology that utilizes the functional bus for test stimuli and response transportation. An efficient algorithm for the gen...
EJWCN
2010
13 years 2 months ago
2010
Information collection in the disaster area is an important application of pigeon networks - a special type of delay tolerant networks (DTN) that borrows the ancient idea of using ...