135
Voted
ACSD
15 years 8 months ago
2006 IEEE 
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
120
Voted
ACSD
15 years 8 months ago
2006 IEEE 
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
117
click to vote
ACSD
15 years 8 months ago
2006 IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
117
click to vote
ACSD
15 years 8 months ago
2006 IEEE 
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
107
click to vote
ACSD
15 years 8 months ago
2006 IEEE
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...
|
Hardware