12333 search results - page 126 / 2467 » System Level Modelling for Hardware Software Systems |
98
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
126
Voted
FOIS
2001
15 years 3 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
107
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
119
Voted
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
135
Voted
GLOBECOM
2010
IEEE
15 years 15 days ago
2010
IEEE
Proof of a user's identity is not always a sufficient means for making an authorization decision. In an increasing set of circumstances, knowledge of physical location provide...