3473 search results - page 433 / 695 » Aspect-Oriented Programming with C |
162
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
173
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
193
Voted
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
157
click to vote
DAC
2006
ACM
16 years 19 days ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
128
Voted
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...