1097 search results - page 202 / 220 » Revision Programming = Logic Programming Integrity Constra... |
123
Voted
TSE
2010
15 years 27 days ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
145
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
120
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
134
click to vote
ISPD
2009
ACM
15 years 9 months ago
2009
ACM
As VLSI technology moves to the 65nm node and beyond, interconnect delay greatly limits the circuit performance. As a critical component in interconnect synthesis, layer assignmen...
139
click to vote
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...