837 search results - page 69 / 168 » codes 2000 |
111
click to vote
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
96
Voted
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
98
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...
87
Voted
AML
2008
15 years 24 days ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
82
Voted
DCC
2000
IEEE
15 years 5 months ago
2000
IEEE
We investigate the task of compressing an image by using different probability models for compressing different regions of the image. In an earlier paper, we introduced a class of...