10733 search results - page 1901 / 2147 » Distributed XML design |
166
click to vote
DAC
2003
ACM
16 years 5 months 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 ...
148
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
146
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
174
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
151
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Wikis have proven to be a valuable tool for collaboration and content generation on the web. Simple semantics and ease-of-use make wiki systems well suited for meeting many emergi...