1358 search results - page 192 / 272 » Mapping Accessibility Over Time |
161
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
A subtyping 0 is entailed by a set of subtyping constraints C, written C j= 0, if every valuation (mapping of type variables to ground types) that satisfies C also satisfies 0. ...
122
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Abstract-- The design of application-specific instruction set processor (ASIP) system includes at least three interdependent tasks: microarchitecture design, instruction set design...
123
click to vote
CGO
2004
IEEE
15 years 6 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to outer loops. In this paper, we propose a threestep ap...
113
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
140
click to vote
SPIEVIP
2010
15 years 4 months ago
2010
This paper reports on a new technique for unconstrained license plate detection in a surveillance context. The proposed algorithm quickly finds license plates by performing the fo...