4767 search results - page 533 / 954 » Structures for Abstract Rewriting |
161
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
244
click to vote
SOCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper we present an efficient system-onchip implementation of a 1-Gbps LDPC decoder for 4G (or beyond 3G) wireless standards. The decoder has a scalable datapa...
186
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
146
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
149
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This demonstration presents OntoDB, a prototype that allows to store explicitly in the database not only the data, but also the conceptual model defining the structure o...