1700 search results - page 295 / 340 » Specifying and implementing refactorings |
176
click to vote
ICDE
2001
IEEE
16 years 1 months ago
2001
IEEE
Due to the ubiquity and popularity of XML, users often are in the following situation: they want to query XML documents which contain potentially interesting information but they ...
106
click to vote
DAC
2007
ACM
16 years 24 days ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
DAC
2007
ACM
16 years 24 days ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
113
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
117
click to vote
DAC
2005
ACM
16 years 23 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...