9532 search results - page 1703 / 1907 » Logic, Graphs, and Algorithms |
157
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
142
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Traditionally, clock network layout is performed after cell placement. Such methodology is facing a serious problem in nanometer IC designs where people tend to use huge clock buff...
144
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
156
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
122
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Power has become an increasingly important design constraint for FPGAs in nanometer technologies, and global interconnects should be the focus of FPGA power reduction as they cons...