4609 search results - page 251 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
ISVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
162
click to vote
ECBS
2005
IEEE
16 years 5 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
196
click to vote
SPIN
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
164
click to vote
IWMM
2004
Springer
15 years 12 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
162
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...