Sciweavers

659 search results - page 69 / 132
» Binding as sets of scopes
Sort
View
124
Voted
ICCAD
2007
IEEE
151views Hardware» more  ICCAD 2007»
15 years 4 months ago
A design flow dedicated to multi-mode architectures for DSP applications
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
Cyrille Chavet, Caaliph Andriamisaina, Philippe Co...
107
Voted
IDMS
2000
Springer
138views Multimedia» more  IDMS 2000»
15 years 4 months ago
Middleware Support for Media Streaming Establishment Driven by User-Oriented QoS Requirements
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
Cristian Hesselman, Ing Widya, Aart van Halteren, ...
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 4 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
FMOODS
2008
15 years 2 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
BMCBI
2008
99views more  BMCBI 2008»
15 years 21 days ago
NestedMICA as an ab initio protein motif discovery tool
Background: Discovering overrepresented patterns in amino acid sequences is an important step in protein functional element identification. We adapted and extended NestedMICA, an ...
Mutlu Dogruel, Thomas A. Down, Tim J. P. Hubbard