1648 search results - page 180 / 330 » Structuring namespace descriptions |
109
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
145
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
146
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Lifelong learning refers to the activities people perform throughout their life to improve their competence in a particular field. Although adaptive educational hypermedia systems...
118
Voted
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
— Maximal full rectangles in tabular data are useful in several areas of data engineering. This paper presents a survey of results in which we replace “full rectangles” by ...