7121 search results - page 1109 / 1425 » Functions as Session-Typed Processes |
156
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
178
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
172
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
146
click to vote
HT
1999
ACM
15 years 10 months ago
1999
ACM
Making hypermedia adaptable for multiple forms of presentation involves enabling multiple distinct specifications for how a given collection of hypermedia can have its presentatio...
172
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...