4887 search results - page 447 / 978 » System Level Design Using C |
203
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
198
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
171
click to vote
SENSYS
2010
ACM
15 years 5 months ago
2010
ACM
This paper considers the problem of estimating the power breakdowns for the main appliances inside a building using a small number of power meters and the knowledge of the ON/OFF ...
193
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a multifont classification scheme to help recognition of multifont and multisize characters. It uses typographical attributes such as ascenders, descenders a...
195
click to vote
ISLPED
2006
ACM
16 years 1 months ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...