5200 search results - page 778 / 1040 » Symbolic models for control systems |
217
click to vote
RSP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
191
click to vote
SPAA
2003
ACM
16 years 16 days ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
243
click to vote
JSAC
2011
15 years 2 months ago
2011
—Opportunistic spectrum access creates the opening of under-utilized portions of the licensed spectrum for reuse, provided that the transmissions of secondary radios do not cause...
209
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
186
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...