5830 search results - page 318 / 1166 » Automatic link generation |
172
click to vote
ISVLSI
2007
IEEE
16 years 1 months 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...
199
click to vote
SPIN
2005
Springer
16 years 7 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...
167
click to vote
IWMM
2004
Springer
16 years 4 days 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 ...
169
Voted
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...
180
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...