2853 search results - page 500 / 571 » A platform for software engineering research |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
We discuss the problem of Web data extraction and describe an XML-based methodology whose goal extends far beyond simple "screen scraping." An ideal data extraction proc...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conď¬...
LCTRTS
2009
Springer
14 years 3 months ago
2009
Springer
Multicores are becoming ubiquitous, not only in general-purpose but also embedded computing. This trend is a reflexion of contemporary embedded applications posing steadily incre...
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
Instruction set extensions (ISEs) can accelerate embedded processor performance. Many algorithms for ISE generation have shown good potential; some of them have recently been expa...