989 search results - page 136 / 198 » Dynamic Symmetry Reduction |
130
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
146
Voted
IEEEPACT
2000
IEEE
15 years 8 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
127
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
147
click to vote
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
146
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...