3119 search results - page 492 / 624 » General Default Logic |
154
click to vote
DAC
2006
ACM
16 years 12 days ago
2006
ACM
Silicon design implementation has become increasingly complex with the deep submicron technologies such as 90nm and below. It is common to see multiple processor cores, several ty...
163
click to vote
DAC
2006
ACM
16 years 12 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
165
click to vote
DOCENG
2006
ACM
16 years 12 days ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
204
click to vote
DOLAP
2006
ACM
16 years 12 days ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
146
click to vote
ERLANG
2006
ACM
16 years 12 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...