1550 search results - page 192 / 310 » Benchmarking for Graph Transformation |
149
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
129
click to vote
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
82
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...
111
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Web spam detection has become one of the top challenges for the Internet search industry. Instead of using some heuristic rules, we propose a feature re-extraction strategy to opt...
183
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...