3130 search results - page 75 / 626 » Design Correctness of Digital Systems |
99
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
141
Voted
IE
2007
15 years 5 months ago
2007
In this paper, methods for nonverbal communication in digital games and virtual worlds are explored as alternatives to chat and other text-based forms of communication. Inspired b...
140
Voted
JSS
2002
15 years 3 months ago
2002
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
124
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
112
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...