2410 search results - page 381 / 482 » Multiset Ordering Constraints |
157
click to vote
CHARME
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
134
Voted
DAC
1995
ACM
15 years 8 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
169
click to vote
OGAI
1991
15 years 8 months ago
1991
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
154
click to vote
ADHOCNETS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
152
click to vote
VISSYM
2007
15 years 7 months ago
2007
We present a fast hardware-accelerated stippling method which does not require any preprocessing for placing points on surfaces. The surfaces are automatically parameterized in or...