6274 search results - page 860 / 1255 » Proofs, Programs, Processes |
155
click to vote
HIPEAC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
148
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
113
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...
109
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The protection and control systems in the US utility industry are still primarily composed of electromechanical relays and systems. Over 80 percent of the relays are still electro...
154
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...