10159 search results - page 352 / 2032 » System Design Validation Using Formal Models |
132
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
159
Voted
LCTRTS
1998
Springer
15 years 8 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
131
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
121
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
150
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...