2705 search results - page 492 / 541 » Formal Ontology for Subject |
202
click to vote
CODES
2006
IEEE
16 years 25 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
192
click to vote
IEEEPACT
2006
IEEE
16 years 24 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
205
click to vote
ISESE
2006
IEEE
16 years 23 days ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
233
Voted
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
181
click to vote
ACMACE
2006
ACM
16 years 22 days ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...