6618 search results - page 995 / 1324 » Natural Logic for Natural Language |
191
click to vote
FDL
2003
IEEE
16 years 4 days ago
2003
IEEE
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems an...
134
click to vote
FDL
2003
IEEE
16 years 4 days ago
2003
IEEE
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
164
Voted
FDL
2003
IEEE
16 years 4 days ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
172
click to vote
FDL
2003
IEEE
16 years 4 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
164
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...