2493 search results - page 287 / 499 » Tool Support for Design by Contract |
172
click to vote
FPGA
2004
ACM
16 years 17 days ago
2004
ACM
FPGAs normally operate at whatever clock rate is appropriate for the loaded configuration. When FPGAs are used as computational devices in a larger system, however, it is better ...
159
click to vote
HT
2003
ACM
16 years 13 days ago
2003
ACM
Graph-centric and node-centric browsing are the two commonly identified hypertext-browsing paradigms. We believe that pathcentric browsing, the browsing behavior exhibited by path...
216
click to vote
VLSISP
2008
15 years 7 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
199
click to vote
ICCAD
2003
IEEE
16 years 14 days ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...
232
click to vote
ISMAR
2002
IEEE
16 years 3 days ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...