Sciweavers

3106 search results - page 79 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
ICFP
2005
ACM
15 years 10 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 1 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
IJMMS
2006
84views more  IJMMS 2006»
14 years 10 months ago
Identity and role - A qualitative case study of cooperative scenario building
In this study, we argue that users participating in the design process will form the participation as a function of their professional role, but also as a function of their identi...
David Dinka, Jonas Lundberg
ACL
1998
14 years 11 months ago
Ranking Text Units According to Textual Saliency, Connectivity and Topic Aptness
An efficient use of lexical cohesion is described for ranking text units according to their contribution in defining the meaning of a text (textual saliency), their ability to for...
Antonio Sanfilippo
ISPASS
2009
IEEE
15 years 4 months ago
Differentiating the roles of IR measurement and simulation for power and temperature-aware design
In temperature-aware design, the presence or absence of a heatsink fundamentally changes the thermal behavior with important design implications. In recent years, chip-level infra...
Wei Huang, Kevin Skadron, Sudhanva Gurumurthi, Rob...