2958 search results - page 182 / 592 » Extending and Implementing RASP |
193
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
107
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...
104
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...